2 papers
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.CY2023
Interpretable Knowledge Tracing via Response Influence-based Counterfactual Reasoning
Jiajun Cui, Minghe Yu, Bo Jiang +3
Knowledge tracing (KT) plays a crucial role in computer-aided education and intelligent tutoring systems, aiming to assess students' knowledge proficiency by predicting their futur…