Optimization Modeling on ReSocratic (test)
89.6Solving AccuracyOpt-Verifier
Evaluation Results
| Method | Links | |
|---|---|---|
| Opt-Verifier2026.05 | 89.6 | |
| OptiMUS2026.05 | 87.6 | |
| ORLM2026.05 | 61.8 | |
| Standard2026.05 | 48.4 | |
| CoT2026.05 | 43.6 |
Loading the SOTA2 catalog…
| Method | Links | |
|---|---|---|
| Opt-Verifier2026.05 | 89.6 | |
| OptiMUS2026.05 | 87.6 | |
| ORLM2026.05 | 61.8 | |
| Standard2026.05 | 48.4 | |
| CoT2026.05 | 43.6 |