ResearchBenchmarksRegex Induction on Simple Regex SD=3 (test)Follow77.8Run-Level Success RateAgentic24.96838.68452.466.116Jun 9, 2026Evaluation ResultsMethodMethodLinksRun-Level Success RateAgenticSetup=Full proposed fr...Setup=Full proposed framework2026.0677.8SingleSetup=Clustered counte...Setup=Clustered counterexamples2026.0661.9StandardSetup=No counterexamplesSetup=No counterexamples2026.0627