3 citations · 5 across the 5 of their papers we have counts for
5 papers
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…
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…
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…
Bayesian Personalized Federated Learning with Shared and Personalized Uncertainty Representations
Hui Chen, Hengyu Liu, Longbing Cao +1
Bayesian personalized federated learning (BPFL) addresses challenges in existing personalized FL (PFL). BPFL aims to quantify the uncertainty and heterogeneity within and across cl…
A Probabilistic Generative Model for Tracking Multi-Knowledge Concept Mastery Probability
Hengyu Liu, Tiancheng Zhang, Fan Li +2
Knowledge tracing aims to track students' knowledge status over time to predict students' future performance accurately. Markov chain-based knowledge tracking (MCKT) models can tra…