@misc{indiciae83d03bc26960, title = {Generative AI alone may not be enough: Evaluating AI Support for Learning Mathematical Proof}, author = {Eason Chen and Sophia Judicke and Kayla Beigh and Xinyi Tang and Zimo Xiao and Chuangji Li and Shizhuo Li and Reed Luttmer and Shreya Singh and Maria Yampolsky and Naman Parikh and Yi Zhao and Meiyi Chen and Scarlett Huang and Anishka Mohanty and Gregory Johnson and John Mackey and Jionghao Lin and Ken Koedinger}, year = {2025}, url = {https://arxiv.org/abs/2509.16778}, note = {Source identifier: 2509.16778} }