Ghani Raissov

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

VeriSimpl is introduced, a solver LLM framework for robust natural-language-to-optimization formalization, based on the idea of simplification-based verification, where the optimization solver is leveraged to generate simplified diagnostic queries about a candidate formulation to allow the LLM to tractably reason about...