Gaolei He

According to our database, Gaolei He authored at least 2 papers in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

CuDIP: Enhancing Theorem Proving in LLMs via Curriculum Learning-based Direct Preference Optimization.

Shuming Shi, Ruobing Zuo, Gaolei He, Jianxin Wang, Chenyang Xu, Zhengfeng Yang

CoRR, February, 2025

QDTSynth: Quality-Driven Formal Theorem Synthesis for Enhancing Proving Performance of LLMs.

Lei Wang, Ruobing Zuo, Gaolei He, Jianlin Wang, Zhengfeng Yang

Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2025