EvoCut: Strengthening Integer Programs via Evolution-Guided Language Models
Paper
•
2508.11850
•
Published
•
3
AI_4_math_modeling
-
-
CP-Bench: Evaluating Large Language Models for Constraint Modelling
Paper • 2506.06052 • Published • 2 -
Mamo: a Mathematical Modeling Benchmark with Solvers
Paper • 2405.13144 • Published -
CO-Bench: Benchmarking Language Model Agents in Algorithm Search for Combinatorial Optimization
Paper • 2504.04310 • Published -
OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling
Paper • 2407.09887 • Published -
Evaluating LLM Reasoning in the Operations Research Domain with ORQA
Paper • 2412.17874 • Published • 2 -
MM-Agent: LLM as Agents for Real-world Mathematical Modeling Problem
Paper • 2505.14148 • Published • 1 -
NL4Opt Competition: Formulating Optimization Problems Based on Their Natural Language Descriptions
Paper • 2303.08233 • Published • 1 -
OptiMUS: Scalable Optimization Modeling with (MI)LP Solvers and Large Language Models
Paper • 2402.10172 • Published • 1 -
ORLM: Training Large Language Models for Optimization Modeling
Paper • 2405.17743 • Published • 3 -
SMARTAPS: Tool-augmented LLMs for Operations Management
Paper • 2507.17927 • Published • 1