List your company

Operations Research Autoformalization on IndustryOR

69.1Accuracy (%)AutoOR
26.35637.45348.5559.647Jul 29, 2024Nov 10, 2024Feb 23, 2025Jun 8, 2025Sep 20, 2025Jan 3, 2026Apr 18, 2026

Evaluation results

MethodLinks
AutoORSize=8B2026.0469.1
LLMOPTLLM=Qwen1.5-14B, Method Category=fine-tuning LLMs2024.0746
OptiMUS-0.3LLM=o3, Method Category=agentic frameworks2024.0746
StandardLLM=o3, Method Category=direct prompting2024.0744
ORLMSize=8B2026.0442.9
ORLMLLM=Deepseek-Math, Method Category=fine-tuning LLMs2024.0738
OptiMUS-0.3LLM=GPT-4o, Method Category=agentic frameworks2024.0737
Step-OptSize=8B2026.0436.4
OR-R1RLSize=8B2026.0435.3
OR-R1SFTSize=8B2026.0433
StandardLLM=GPT-4o, Method Category=direct prompting2024.0728