Optimization Modeling on Mamo Cleaned (test)
78.3Solving AccuracyOpt-Verifier
Evaluation Results
| Method | Links | |
|---|---|---|
| Opt-Verifier2026.05 | 78.3 | |
| ORLM2026.05 | 59.5 | |
| Standard2026.05 | 57.7 | |
| OptiMUS2026.05 | 46.8 | |
| CoT2026.05 | 42.3 |
Loading the SOTA2 catalog…
| Method | Links | |
|---|---|---|
| Opt-Verifier2026.05 | 78.3 | |
| ORLM2026.05 | 59.5 | |
| Standard2026.05 | 57.7 | |
| OptiMUS2026.05 | 46.8 | |
| CoT2026.05 | 42.3 |