ResearchBenchmarksRegex Induction on Extended Regex SD=1 (test)Follow84.1Run-Level Success RateAgentic66.00470.70275.480.098Jun 9, 2026Evaluation ResultsMethodMethodLinksRun-Level Success RateAgenticSetup=Full proposed fr...Setup=Full proposed framework2026.0684.1SingleSetup=Clustered counte...Setup=Clustered counterexamples2026.0677.8StandardSetup=No counterexamplesSetup=No counterexamples2026.0666.7