Wangyue Lu

According to our database, Wangyue Lu authored at least 4 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

RAG-KT: Retrieval Augmented Generation Based Difficulty Estimation for Knowledge Tracing.

Hui Ma, Tiancheng Zhang, Wangyue Lu, Fan Li, Minghe Yu, Yifang Yin, Ge Yu

Proceedings of the Web Information Systems Engineering - WISE 2025, 2025