Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
Cognitive Structure Generation: From Educational Priors to Policy Optimization
Hengnian Gu, Zhifu Chen, Yuxin Chen +2
Cognitive structure is a student's subjective organization of an objective knowledge system, reflected in the psychological construction of concepts and their relations. However, c…
cs.AI2024
REFACTOR: Learning to Extract Theorems from Proofs
Jin Peng Zhou, Yuhuai Wu, Qiyang Li +1
Human mathematicians are often good at recognizing modular and reusable theorems that make complex mathematical results within reach. In this paper, we propose a novel method calle…