About Me

Hi there! I am a Ph.D. candidate in the Department of Automation at Tsinghua University, advised by Prof. Keyou You.

My current research focuses on Large Language Models and Machine Learning for Mathematical Reasoning. I am particularly interested in using large models for formal mathematical theorem proving, and in developing machine learning algorithms with theoretical guarantees. This line of work connects naturally with my broader interests in high-performance optimization algorithms and algorithmic complexity analysis.

If you are interested in my research or have any questions, please feel free to contact me via email at lixc21@mails.tsinghua.edu.cn.

Education

Ph.D. Candidate in Control Science and Engineering Tsinghua University
2021 - Present Rank: 3/86 (Top 3%)
B.Eng. in Automation Tsinghua University
2017 - 2021 Rank: 5/166 (Top 3%)

Internship Experience

Research Intern, LongCat Team Meituan
2026.05 - Present

Working on LongCat model adaptation and formal theorem proving for mathematical reasoning.

Selected Publications

APX-Hardness of Computing Lipschitz Constants for Multi-Parametric Quadratic Programs
Xingchen Li, Kunpeng Liu, Keyou You
arXiv preprint arXiv:2606.03862, 2026. [arXiv]
LLM4Branch: Large Language Model for Discovering Efficient Branching Policies of Integer Programs
Zhinan Hou*, Xingchen Li*, Yankai Zhang, Tianxun Li, Keyou You (*: equal contribution)
arXiv preprint arXiv:2605.10401, 2026. [arXiv]
ReLU Networks for Model Predictive Control: Network Complexity and Performance Guarantees
Xingchen Li, Keyou You
arXiv preprint arXiv:2601.16764, 2026. [arXiv]
The Bidirectional Mapping Between Linear Model Predictive Control Policies and ReLU Neural Networks
Xingchen Li, Keyou You
IEEE 64th Conference on Decision and Control (CDC), 2025.
Data-driven Control of Linear Systems via Quantized Feedback
Xingchen Li, Feiran Zhao, Keyou You
Journal of Systems Science and Complexity, 2024.

Honors & Awards

Excellent Undergraduate Graduation Thesis in Beijing (Top 0.5%) 2021
First Prize, Mathematical Modeling Competition in Tsinghua (Top 2%) 2022
Outstanding Teaching Assistant Award (Top 3%) 2024
Outstanding Graduate of Dept. of Automation, Tsinghua University (Top 3%) 2021
Graduate Scholarship for Outstanding Performance (Top 5%) 2022, 2023, 2024
Scholarship for Excellent Social Practice (Top 5%) 2023