@misc{indiciae79cdaf3314e2, title = {Solver-Verified Formulation Generation and Selection for Multi-Warehouse Inventory Allocation Using Large Language Models}, author = {Jintao Xu and Yingzheng Ma and Jiong Dong and Yongzhi Qi and Jianshen Zhang and Dongyang Geng and Anni Zhang}, year = {2026}, url = {https://arxiv.org/abs/2606.29366}, note = {Source identifier: 2606.29366} }