List your company

Operations Research Autoformalization on NL4OPT

97.3Accuracy (%)Standard
45.358.872.385.8Jul 29, 2024Nov 10, 2024Feb 23, 2025Jun 8, 2025Sep 20, 2025Jan 3, 2026Apr 18, 2026

Evaluation results

MethodLinks
StandardLLM=o3, Method Category=direct prompting2024.0797.3
OptMATHSize=32B2026.0495.9
LLMOPTLLM=Qwen1.5-14B, Method Category=fine-tuning LLMs2024.0793
OR-R1RLSize=8B2026.0488.3
OptiMUS-0.3LLM=GPT-4o, Method Category=agentic frameworks2024.0786.6
OR-R1SFTSize=8B2026.0486
ORLMLLM=Deepseek-Math, Method Category=fine-tuning LLMs2024.0785.7
Step-OptSize=8B2026.0484.5
OptiMUS-0.2LLM=GPT-4o, Method Category=agentic frameworks2024.0778.8
AutoORSize=8B2026.0478.6
ORLMSize=8B2026.0473.8
ReflexionLLM=GPT-4o, Method Category=direct prompting2024.0753
StandardLLM=GPT-4o, Method Category=direct prompting2024.0747.3