Autoformalization of Non-Linear Programs on Pump-NLP
48.98AccuracyAutoOR 8B
Evaluation Results
| Method | Links | |
|---|---|---|
| AutoOR 8Bevaluation_protocol=pass@12026.04 | 48.98 | |
| Qwen3-8Bevaluation_protocol=pass@12026.04 | 0 | |
| Gemini 2.5 Proevaluation_protocol=pass@12026.04 | 0 | |
| Gemini 3 Proevaluation_protocol=pass@12026.04 | 0 |