English

Chat-Based Support Alone May Not Be Enough: Comparing Conversational and Embedded LLM Feedback for Mathematical Proof Learning

Human-Computer Interaction 2026-04-02 v2 Artificial Intelligence Computers and Society

Abstract

We evaluate GPTutor, an LLM-powered tutoring system for an undergraduate discrete mathematics course. It integrates two LLM-supported tools: a structured proof-review tool that provides embedded feedback on students' written proof attempts, and a chatbot for math questions. In a staggered-access study with 148 students, earlier access was associated with higher homework performance during the interval when only the experimental group could use the system, while we did not observe this performance increase transfer to exam scores. Usage logs show that students with lower self-efficacy and prior exam performance used both components more frequently. Session-level behavioral labels, produced by human coding and scaled using an automated classifier, characterize how students engaged with the chatbot (e.g., answer-seeking or help-seeking). In models controlling for prior performance and self-efficacy, higher chatbot usage and answer-seeking behavior were negatively associated with subsequent midterm performance, whereas proof-review usage showed no detectable independent association. Together, the findings suggest that chatbot-based support alone may not reliably support transfer to independent assessment of math proof-learning outcomes, whereas work-anchored, structured feedback appears less associated with reduced learning.

Keywords

Cite

@article{arxiv.2602.18807,
  title  = {Chat-Based Support Alone May Not Be Enough: Comparing Conversational and Embedded LLM Feedback for Mathematical Proof Learning},
  author = {Eason Chen and Sophia Judicke and Kayla Beigh and Xinyi Tang and Isabel Wang and Nina Yuan and Zimo Xiao and Chuangji Li and Shizhuo Li and Reed Luttmer and Shreya Singh and Maria Yampolsky and Naman Parikh and Yvonne Zhao and Meiyi Chen and Scarlett Huang and Anishka Mohanty and Gregory Johnson and John Mackey and Jionghao Lin and Ken Koedinger},
  journal= {arXiv preprint arXiv:2602.18807},
  year   = {2026}
}

Comments

9 pages, 4 figures. Accepted at AIED 2026. Camera-ready version with updated references

R2 v1 2026-07-01T10:45:36.767Z