Minghe Yu

1. Interpretable Knowledge Tracing via Response Influence-based Counterfactual Reasoning
   2023/12/01 by Jiajun Cui, Minghe Yu, Cui, Jiajun +9 · 2 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Computers and Society (cs.CY) #FOS: Computer and information sciences #Intelligent Tutoring Systems and Adaptive Learning #Machine Learning (cs.LG) #Online Learning and Analytics #Topic Modeling
2. Automated Formalization via Conceptual Retrieval-Augmented LLMs
   2025/08/09 by Weiming Lü, Lun Du, Lu, Wangyue +15 · 3 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, programming, and type systems #Machine Learning (cs.LG) #Mathematics, Computing, and Information Processing #Polynomial and algebraic computation