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

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

collaborators

5 papers

cs.HC20251 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.HC2025

AI Knows Best? The Paradox of Expertise, AI-Reliance, and Performance in Educational Tutoring Decision-Making Tasks

Eason Chen, Jeffrey Li, Scarlett Huang +4

We present an empirical study of how both experienced tutors and non-tutors judge the correctness of tutor praise responses under different Artificial Intelligence (AI)-assisted in…

cs.HC2025

VTutor for High-Impact Tutoring at Scale: Managing Engagement and Real-Time Multi-Screen Monitoring with P2P Connections

Eason Chen, Xinyi Tang, Aprille Xi +5

Hybrid tutoring, where a human tutor supports multiple students in learning with educational technology, is an increasingly common application to deliver high-impact tutoring at sc…

cs.HC2025

VTutor: An Animated Pedagogical Agent SDK that Provide Real Time Multi-Model Feedback

Eason Chen, Chenyu Lin, Yu-Kai Huang +4

Pedagogical Agents (PAs) show significant potential for boosting student engagement and learning outcomes by providing adaptive, on-demand support in educational contexts. However,…

cs.HC2025

VTutor: An Open-Source SDK for Generative AI-Powered Animated Pedagogical Agents with Multi-Media Output

Eason Chen, Chenyu Lin, Xinyi Tang +4

The rapid evolution of large language models (LLMs) has transformed human-computer interaction (HCI), but the interaction with LLMs is currently mainly focused on text-based intera…