3 papers
cs.AI2026
Automated Formalization via Conceptual Retrieval-Augmented LLMs
Wangyue Lu, Lun Du, Sirui Li +6
Interactive theorem provers (ITPs) require manual formalization, which is labor-intensive and demands expert knowledge. While automated formalization offers a potential solution, i…
cs.AI2025
MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
Sirui Li, Wangyue Lu, Xiaorui Shi +7
Automated Theorem Proving (ATP) represents a core research direction in artificial intelligence for achieving formal reasoning and verification, playing a significant role in advan…
cs.CY2025
Advancing Knowledge Tracing by Exploring Follow-up Performance Trends
Hengyu Liu, Yushuai Li, Minghe Yu +6
Intelligent Tutoring Systems (ITS), such as Massive Open Online Courses, offer new opportunities for human learning. At the core of such systems, knowledge tracing (KT) predicts st…