cs.AI, cs.SE

An Agent-Based Framework for the Automatic Validation of Mathematical Optimization Models

arXiv:2511.16383v2 Announce Type: replace
Abstract: Recently, using Large Language Models (LLMs) to generate optimization models from natural language descriptions has became increasingly popular. However, a major open question is how to validate that…