TY  - RPRT
TI  - Solver-Verified Formulation Generation and Selection for Multi-Warehouse Inventory Allocation Using Large Language Models
AU  - Jintao Xu
AU  - Yingzheng Ma
AU  - Jiong Dong
AU  - Yongzhi Qi
AU  - Jianshen Zhang
AU  - Dongyang Geng
AU  - Anni Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2606.29366
ID  - 2606.29366
ER  -