TY  - RPRT
TI  - FormuEvo: LLM-Guided Evolution for Discovering Solver-Efficient Mixed-Integer Programming Formulations
AU  - Haofeng Yuan
AU  - Jianing Peng
AU  - Jieyi Bi
AU  - Ni Zhang
AU  - Shiji Song
AU  - Zhiguang Cao
PY  - 2026
UR  - https://arxiv.org/abs/2608.23353
ID  - 2608.23353
ER  -