optimization-correctness-verifier
a5c-ai/babysitter/library/specializations/domains/science/computer-science/skills/optimization-correctness-verifier
PlatformUniversal
Verify correctness of compiler optimizations using formal methods
Universal
a5c-ai/babysitter/library/specializations/domains/science/computer-science/skills/optimization-correctness-verifier
Verify correctness of compiler optimizations using formal methods