3 citations · 5 across the 6 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
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…
cs.IR2025★ 1 cited
Comparing RAG and GraphRAG for Page-Level Retrieval Question Answering on a Math Textbook
Eason Chen, Chuangji Li, Eric Li +3
Large language models (LLMs) show promise as educational aids but often lack alignment with specific course materials. We investigate Retrieval-Augmented Generation (RAG) and Graph…