Generative AI alone may not be enough: Evaluating AI Support for Learning Mathematical Proof. - Eason Chen; Sophia Judicke; Kayla Beigh; Xinyi Tang; Zimo Xiao; Chuangji Li; Shizhuo Li; Reed Luttmer; Shreya Singh; Maria Yampolsky; Naman Parikh; Yi Zhao; et al. (CoRR, 2025)