TY - RPRT TI - Chat-Based Support Alone May Not Be Enough: Comparing Conversational and Embedded LLM Feedback for Mathematical 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/2602.18807 ID - 2602.18807 ER -