counterexample-guided-refinement
a5c-ai/babysitter/library/specializations/domains/science/computer-science/skills/counterexample-guided-refinement
PlatformUniversal
Implement CEGAR for synthesis and verification workflows
Universal
a5c-ai/babysitter/library/specializations/domains/science/computer-science/skills/counterexample-guided-refinement
Implement CEGAR for synthesis and verification workflows