AI RESEARCH
Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verification
arXiv CS.AI
•
ArXi:2605.29556v1 Announce Type: new Building mathematical optimization models is critical in operations research (OR), while it requires substantial human expertise. Recent advancements have utilized large language models (LLMs) to automate this modeling process. However, existing works often struggle to verify the correctness of the generated optimization models, without checking the rationality of the constraints and variables or the validity of solutions to the generated models.