Personalization in educational gamification: Learners with different trait competitiveness benefit differently from rankings on leaderboards. - Jing Wang; Shaoying Gong; Yang Cao; Xiao-Rong Guo; Peiyan Peng (Comput. Educ., 2025)

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine. - Zhuoxuan Jiang; Tianyang Zhang; Peiyan Peng; Jing Chen; Yinong Xun; Haotian Zhang; Lichi Li; Yong Li; Shaohua Zhang (CoRR, 2025)