Showing cs.HCShow all
3 papers · 1 filter
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.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…