arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Gregory Johnson"" — arXiv2 Search
Showing 1–2 of 2 results
/ Date
/ Name
Feb 21, 2026
Chat-Based Support Alone May Not Be Enough: Comparing Conversational and Embedded LLM Feedback for Mathematical Proof Learning
Sep 20, 2025
Generative AI alone may not be enough: Evaluating AI Support for Learning Mathematical Proof