TY  - RPRT
TI  - Generative AI alone may not be enough: Evaluating AI Support for Learning Mathematical Proof
AU  - Eason Chen
AU  - Sophia Judicke
AU  - Kayla Beigh
AU  - Xinyi Tang
AU  - Zimo Xiao
AU  - Chuangji Li
AU  - Shizhuo Li
AU  - Reed Luttmer
AU  - Shreya Singh
AU  - Maria Yampolsky
AU  - Naman Parikh
AU  - Yi Zhao
AU  - Meiyi Chen
AU  - Scarlett Huang
AU  - Anishka Mohanty
AU  - Gregory Johnson
AU  - John Mackey
AU  - Jionghao Lin
AU  - Ken Koedinger
PY  - 2025
UR  - https://arxiv.org/abs/2509.16778
ID  - 2509.16778
ER  -