I am a postdoctoral researcher working at the Yau Mathematical Sciences Center of Tsinghua University and BIMSA, focusing on the intersection of artificial intelligence and mathematics. My current research aims to leverage large language models to automate mathematical proofs, a challenging and exciting frontier in AI and mathematics.

Previously, I completed my Ph.D. at Peking University, where I conducted interdisciplinary research in the School of Physics and the Department of Computer Science. My work involved using high-performance simulations and deep learning algorithms to model electronic systems. This research has resulted in a series of first-author publications in top AI conferences and physics journals, accumulating over 700 citations with a Google Scholar H-index of 14. My achievements have also been featured in a special report by the Chinese edition of MIT Technology Review.

I am passionate about exploring innovative ways to bridge artificial intelligence and fundamental scientific problems. Joining the forum would provide me with a unique platform to exchange ideas, collaborate with like-minded experts, and contribute to discussions at the forefront of mathematics. I look forward to sharing my insights and learning from the collective expertise of the forum’s members.

• LLM for Math Proof
Integrating LLMs with formal languages to achieve automated mathematical theorem proving through methods such as fine-tuning, reinforcement learning, prompt engineering, and data engineering.
• Agent Based Modeling (ABM)
Introducing multi-agent reinforcement learning (MARL) algorithms into social behavior studies through LLM-based ABM, with a case study focusing on finite-horizon Markov games.
• Multimodal Reasoning
Integrating multimodal data such as text, images, and tables to enhance the reasoning capabilities of large models, with applications in mathematical reasoning and scientific database construction.