VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification.

arXiv:2607.20474v2 Announce Type: replace Abstract: Natural language interfaces can greatly benefit the accessibility and usability of optimization modeling, and recent advances in large language models (LLMs) show promise in automatically translating textual