ResearchBenchmarksOperations Research Autoformalization on MAMO EasyOperations Research Autoformalization on MAMO EasyFollow94AccuracyAutoOR84.95287.30189.6591.999Apr 18, 2026Evaluation resultsMethodMethodLinksAccuracyAutoORSize=8BSize=8B2026.0494ORLMSize=8BSize=8B2026.0490.4OptMATHSize=32BSize=32B2026.0489.9OR-R1SFTSize=8BSize=8B2026.0487OR-R1RLSize=8BSize=8B2026.0486.1Step-OptSize=8BSize=8B2026.0485.3