ResearchBenchmarksRegex Induction on Simple Regex SD=2 (test)Follow82.5Run-Level Success RateAgentic21.45237.30153.1568.999Jun 9, 2026Evaluation ResultsMethodMethodLinksRun-Level Success RateAgenticSetup=Full proposed fr...Setup=Full proposed framework2026.0682.5SingleSetup=Clustered counte...Setup=Clustered counterexamples2026.0673StandardSetup=No counterexamplesSetup=No counterexamples2026.0623.8