@article{solververifiedformulationgenerationandse,
  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},
  eprint = {2606.29366},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2606.29366},
}