Ke Weng

According to our database, Ke Weng authored at least 3 papers in 2025.

Collaborative distances:

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

2025

MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification.

Sirui Li, Wangyue Lu, Xiaorui Shi, Ke Weng, Haozhe Sun, Minghe Yu, Tiancheng Zhang, Ge Yu, Hengyu Liu, Lun Du

CoRR, December, 2025

Automated Formalization via Conceptual Retrieval-Augmented LLMs.

Wangyue Lu, Lun Du, Sirui Li, Ke Weng, Haozhe Sun, Hengyu Liu, Minghe Yu, Tiancheng Zhang, Ge Yu

CoRR, August, 2025

Autoformalization in the Era of Large Language Models: A Survey.

Ke Weng, Lun Du, Sirui Li, Wangyue Lu, Haozhe Sun, Hengyu Liu, Tiancheng Zhang

CoRR, May, 2025