Search and Filter

Repository Feedback

Your feedback helps us improve the repository's content relevance and usability. Please share your thoughts to help us better serve researchers and practitioners.

Submit feedback

Submit a research study

Contribute to the repository:

Add a paper

Generative AI alone may not be enough: Evaluating AI Support for Learning Mathematical Proof

Date
Publisher
arXiv
We evaluate the effectiveness of LLM-Tutor, a large language model (LLM)-powered tutoring system that combines an AI-based proof-review tutor for real-time feedback on proof-writing and a chatbot for mathematics-related queries. Our experiment, involving 148 students, demonstrated that the use of LLM-Tutor significantly improved homework performance compared to a control group without access to the system. However, its impact on exam performance and time spent on tasks was found to be insignificant. Mediation analysis revealed that students with lower self-efficacy tended to use the chatbot more frequently, which partially contributed to lower midterm scores. Furthermore, students with lower self-efficacy were more likely to engage frequently with the proof-review-AI-tutor, a usage pattern that positively contributed to higher final exam scores. Interviews with 19 students highlighted the accessibility of LLM-Tutor and its effectiveness in addressing learning needs, while also revealing limitations and concerns regarding potential over-reliance on the tool. Our results suggest that generative AI alone like chatbot may not suffice for comprehensive learning support, underscoring the need for iterative design improvements with learning sciences principles with generative AI educational tools like LLM-Tutor.
Study at a glance
  • Question: How does an AI-powered tutoring system affect college students' proof-writing homework, exam performance, and study time?
  • Setting and data: Intro-level discrete math course at a U.S. East Coast research university, 148 to 155 participating undergraduate students, course grades, logs, and surveys.
  • Method: Randomized controlled trial, survey, mediation analysis, and semi-structured interviews (Mixed methods).
Why it matters

Proof-writing poses a significant hurdle for undergraduate math students, yet evidence is needed on whether large language model tutoring systems can consistently and meaningfully enhance learning outcomes in real-world educational settings.

Key findings
  • Students with access to LLM-Tutor scored significantly higher on homework assignments (99.64%) than the control group (96.55%), but exam performance and study time showed no significant differences.
  • Frequent chatbot usage was significantly associated with lower exam scores, partially mediating lower midterm scores among students with low self-efficacy.
  • More frequent engagement with the Proof-Review-AI-Tutor among students with lower self-efficacy positively contributed to higher final exam scores.

Summary drafted with AI from the full paper and may contain errors. See the full paper for details.

Who is the user?
Who age?