Ghani Raissov

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

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. However, a key challenge for exist…