04:00
2026-07-24
arxiv.org
large-language-models
VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification
VeriSimpl, a solver LLM framework for robust natural-language-to-optimization formalization, uses simplification-based verification to improve accuracy over existing methods on optimization benchmarks…