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

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.HC2025★ 1 cited

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

Eason Chen, Sophia Judicke, Kayla Beigh +16

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-writin…