Papers Digest Topics Labs Collections FAQ

Track papers across labs, topics, and trends.

Papers Digest Topics Labs Saved

Search

Search papers, labs, and topics across Lattice.

Lattice AI Lattice Medical Lattice Physics Lattice Chemistry Lattice Maths Lattice Robotics Lattice Biology

Built by Flynn Lachendro·𝕏 / Twitter·RSS··FAQ·Glossary·Privacy

Ni Zhang

Papers on Lattice

1

Total citations

0

Topics

2

h-index

3

Publication activitypapers/week, last 8 weeks

Research focus

Natural Language Processing (1)Reasoning & Chain-of-Thought (1)

Frequent co-authors

Haofeng Yuan (1)Jianing Peng (1)Jieyi Bi (1)Shiji Song (1)Zhiguang Cao (1)

Papers (1)

Aug 24, 2026

Tsinghua AIAug 24, 2026

FormuEvo: LLM-Guided Evolution for Discovering Solver-Efficient Mixed-Integer Programming Formulations

FormuEvo can accelerate solver performance by up to 5.5× by intelligently evolving MIP formulations through LLM-guided optimization.

Haofeng Yuan, Jianing Peng, Jieyi Bi +3

Natural Language Processing Reasoning & Chain-of-Thought