ResearchBenchmarksOperations Research Autoformalization on ComplexORFollow72.2AccuracyAutoOR39.4447.94556.4564.955Apr 18, 2026Evaluation ResultsMethodMethodLinksAccuracyAutoORSize=8BSize=8B2026.0472.2ORLMSize=8BSize=8B2026.0450OR-R1RLSize=8BSize=8B2026.0446.3OR-R1SFTSize=8BSize=8B2026.0440.7