Autoformalization of Mixed-Integer Programs on ComplexOR
72.22Accuracy (%)Gemini 3 Pro
Evaluation Results
| Method | Links | |
|---|---|---|
| Gemini 3 Proevaluation_protocol=pass@12026.04 | 72.22 | |
| AutoOR 8Bevaluation_protocol=pass@12026.04 | 72.22 | |
| Gemini 2.5 Proevaluation_protocol=pass@12026.04 | 57.4 | |
| Qwen3-8Bevaluation_protocol=pass@12026.04 | 55.55 |