@article{formuevollmguidedevolutionfordiscovering,
  title = {FormuEvo: LLM-Guided Evolution for Discovering Solver-Efficient Mixed-Integer Programming Formulations},
  author = {Haofeng Yuan and Jianing Peng and Jieyi Bi and Ni Zhang and Shiji Song and Zhiguang Cao},
  year = {2026},
  eprint = {2608.23353},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2608.23353},
}