TY  - RPRT
TI  - Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
AU  - Haifeng Li
AU  - Mo Hai
PY  - 2026
UR  - https://arxiv.org/abs/2607.16646
ID  - 2607.16646
ER  -