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

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

collaborators

5 papers

cs.HC2026

Supporting or Replacing Students' Reasoning? Cognitive Offloading in AI-Assisted Proof Learning

Eason Chen, Sophia Judicke, Kayla Beigh +18

We studied 153 students in an undergraduate proof-based mathematics course with staggered-access to an AI support system. Students were randomly assigned to receive an AI chatbot a…

cs.CL2026

HaikuS2S: A Cascaded System For Responding In Verse

Devangi Sharma, Sophia Judicke, Glenda Tan +2

Expressive speech synthesis has advanced through prosody modeling, yet generating structured poetic speech, such as haiku, remains challenging. Prior work on prosody transfer impro…

cs.HC2026

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

Eason Chen, Sophia Judicke, Kayla Beigh +18

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

cs.HC2026

From Tool to Teammate: LLM Coding Agents as Collaborative Partners for Behavioral Labeling in Educational Dialogue Analysis

Eason Chen, Isabel Wang, Nina Yuan +3

Behavioral analysis of tutoring dialogues is essential for understanding student learning, yet manual coding remains a bottleneck. We present a methodology where LLM coding agents…

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…