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 problem descriptions into executable…