Autoformalization of Mixed-Integer Programs on IndustryOR
76.19AccuracyGemini 3 Pro
Evaluation Results
| Method | Links | |
|---|---|---|
| Gemini 3 Proevaluation_protocol=sc@32026.04 | 76.19 | |
| Gemini 2.5 Proevaluation_protocol=sc@32026.04 | 74.6 | |
| AutoOR 8Bevaluation_protocol=sc@32026.04 | 69.05 | |
| Qwen3-8Bevaluation_protocol=sc@32026.04 | 52.38 |