@inproceedings{yuan-etal-2026-formuevo,
    title = "{F}ormu{E}vo: {LLM}-Guided Evolution for Discovering Solver-Efficient Mixed-Integer Programming Formulations",
    author = "Yuan, Haofeng  and
      Peng, Jianing  and
      Bi, Jieyi  and
      Zhang, Ni  and
      Song, Shiji  and
      Cao, Zhiguang",
    editor = "Lee, Hung-Yi  and
      Dev, Sunipa  and
      Li, Jessy  and
      Elliott, Desmond",
    booktitle = "Proceedings of the 2026 Conference on Empirical Methods in Natural Language Processing",
    month = oct,
    year = "2026",
    address = "Budapest, Hungary",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2026.emnlp-main.221/",
    pages = "5109--5135",
    ISBN = "979-8-89176-459-0"
}