Autoformalization of Linear Programs on MAMO Complex
83AccuracyAutoOR 8B
Evaluation results
| Method | Links | |
|---|---|---|
| AutoOR 8Bevaluation_protocol=pass@12026.04 | 83 | |
| AutoORSize=8B2026.04 | 83 | |
| Gemini 3 Proevaluation_protocol=pass@12026.04 | 82 | |
| Qwen3-8Bevaluation_protocol=pass@12026.04 | 70 | |
| Gemini 2.5 Proevaluation_protocol=pass@12026.04 | 67 | |
| Step-OptSize=8B2026.04 | 61.6 | |
| ORLMSize=8B2026.04 | 59.5 | |
| OptMATHSize=32B2026.04 | 54.1 | |
| OR-R1RLSize=8B2026.04 | 49.9 | |
| OR-R1SFTSize=8B2026.04 | 39.9 |