arXiv cs.AI
· Papers
VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification
arXiv:2607.20474v1 Announce Type: new 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 solver formulations. Howeve