Jingwei Xu

Jingwei Xu

I am a assistant professor at Nanjing University. My research interests include Large Language Models.

LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation

Published in CoRR, 2025

Recommended citation: Lai, Junyu; Zhang, Jiakun; Xu, Shuo; Chen, Taolue; Wang, Zihang; Yang, Yao; Zhang, Jiarui; Cao, Chun; Xu, Jingwei. (2025). LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation. CoRR. abs/2505.12031.
Download Paper