@misc{indiciaeb772c773ce39,
  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},
  url = {https://arxiv.org/abs/2608.23353},
  note = {Source identifier: 2608.23353}
}