List your company

ResearchFormerly WizWand

Operations Research Autoformalization on ComplexOR

72.2AccuracyAutoOR

Evaluation results

Method	Links
AutoOR2026.04		72.2
ORLM2026.04		50
OR-R1RL2026.04		46.3
OR-R1SFT2026.04		40.7