TY  - RPRT
TI  - VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification
AU  - Sumaya Abdul Rahman
AU  - Seckhen Ariel Andrade Cuellar
AU  - Ghani Raissov
AU  - Mohammad Raza
PY  - 2026
UR  - https://arxiv.org/abs/2607.20474
ID  - 2607.20474
ER  -