TY  - RPRT
TI  - Supporting or Replacing Students' Reasoning? Cognitive Offloading in AI-Assisted Proof Learning
AU  - Eason Chen
AU  - Sophia Judicke
AU  - Kayla Beigh
AU  - Xinyi Tang
AU  - Isabel Wang
AU  - Nina Yuan
AU  - Zimo Xiao
AU  - Chuangji Li
AU  - Shizhuo Li
AU  - Reed Luttmer
AU  - Shreya Singh
AU  - Maria Yampolsky
AU  - Naman Parikh
AU  - Yvonne Zhao
AU  - Meiyi Chen
AU  - Scarlett Huang
AU  - Anishka Mohanty
AU  - Gregory Johnson
AU  - John Mackey
AU  - Jionghao Lin
AU  - Ken Koedinger
PY  - 2026
UR  - https://arxiv.org/abs/2610.31481
ID  - 2610.31481
ER  -