:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Patel, Manooshree, Bhattacharyya, Rayna, Lu, Thomas, Mehta, Arnav, Voss, Niels, Norouzi, Narges, Ranade, Gireeja
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Human-Computer Interaction Logic in Computer Science
Online Access:	https://arxiv.org/abs/2506.08321
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LeanTutor: Towards a Verified AI Mathematical Proof Tutor
by: Patel, Manooshree, et al.
Published: (2026)

Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization
by: Yanahama, Banri, et al.
Published: (2026)

The Missing Evaluation Axis: What 10,000 Student Submissions Reveal About AI Tutor Effectiveness
by: Niousha, Rose, et al.
Published: (2026)

Proof Assistants for Teaching: a Survey
by: Minh, Frédéric Tran, et al.
Published: (2025)

Towards Educator-Driven Tutor Authoring: Generative AI Approaches for Creating Intelligent Tutor Interfaces
by: Calo, Tommaso, et al.
Published: (2024)

The Path to Conversational AI Tutors: Integrating Tutoring Best Practices and Targeted Technologies to Produce Scalable AI Agents
by: Vanacore, Kirk, et al.
Published: (2026)

Toward Automated Qualitative Analysis: Leveraging Large Language Models for Tutoring Dialogue Evaluation
by: Gu, Megan, et al.
Published: (2025)

Beyond the AI Tutor: Social Learning with LLM Agents
by: Kumar, Harsh, et al.
Published: (2026)

AutoTutor meets Large Language Models: A Language Model Tutor with Rich Pedagogy and Guardrails
by: Chowdhury, Sankalan Pal, et al.
Published: (2024)

TutorUp: What If Your Students Were Simulated? Training Tutors to Address Engagement Challenges in Online Learning
by: Pan, Sitong, et al.
Published: (2025)

Apprentice Tutor Builder: A Platform For Users to Create and Personalize Intelligent Tutors
by: Smith, Glen, et al.
Published: (2024)

An Integrated Platform for Studying Learning with Intelligent Tutoring Systems: CTAT+TutorShop
by: Aleven, Vincent, et al.
Published: (2025)

Visualizing Intelligent Tutor Interactions for Responsive Pedagogy
by: Guo, Grace, et al.
Published: (2024)

Designing AI Tutors for Interest-Based Learning: Insights from Human Instructors
by: Kulkarni, Abhishek, et al.
Published: (2026)

HTN-Based Tutors: A New Intelligent Tutoring Framework Based on Hierarchical Task Networks
by: Siddiqui, Momin N., et al.
Published: (2024)

Student Engagement with GenAI's Tutoring Feedback: A Mixed Methods Study
by: Jacobs, Sven, et al.
Published: (2025)

Towards Actionable Pedagogical Feedback: A Multi-Perspective Analysis of Mathematics Teaching and Tutoring Dialogue
by: Naim, Jannatun, et al.
Published: (2025)

Transparent AI: Developing an Explainable Interface for Predicting Postoperative Complications
by: Ren, Yuanfang, et al.
Published: (2024)

Iris: An AI-Driven Virtual Tutor For Computer Science Education
by: Bassner, Patrick, et al.
Published: (2024)

AI Tutors vs. Tenacious Myths: Evidence from Personalised Dialogue Interventions in Education
by: Corbett, Brooklyn J., et al.
Published: (2025)

AI Conversational Tutors in Foreign Language Learning: A Mixed-Methods Evaluation Study
by: Avouris, Nikolaos
Published: (2025)

LLM-Powered AI Tutors with Personas for d/Deaf and Hard-of-Hearing Online Learners
by: Cheng, Haocong, et al.
Published: (2024)

Effective and Scalable Math Support: Evidence on the Impact of an AI- Tutor on Math Achievement in Ghana
by: Henkel, Owen, et al.
Published: (2024)

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout
by: Li, Bohan, et al.
Published: (2024)

Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
by: Huang, Ruanqianqian, et al.
Published: (2025)

Investigating the Impact and Student Perceptions of Guided Parsons Problems for Learning Logic with Subgoals
by: Tithi, Sutapa Dey, et al.
Published: (2025)

AI Knows Best? The Paradox of Expertise, AI-Reliance, and Performance in Educational Tutoring Decision-Making Tasks
by: Chen, Eason, et al.
Published: (2025)

AITEE -- Agentic Tutor for Electrical Engineering
by: Knievel, Christopher, et al.
Published: (2025)

Teaching with AI: A Systematic Review of Chatbots, Generative Tools, and Tutoring Systems in Programming Education
by: Elnaffar, Said, et al.
Published: (2025)

Does Your AI Agent Get You? A Personalizable Framework for Approximating Human Models from Argumentation-based Dialogue Traces
by: Tang, Yinxu, et al.
Published: (2025)

Pensieve Discuss: Scalable Small-Group CS Tutoring System with AI
by: Yang, Yoonseok, et al.
Published: (2024)

CourseAssist: Pedagogically Appropriate AI Tutor for Computer Science Education
by: Feng, Ty, et al.
Published: (2024)

Enhancing Talk Moves Analysis in Mathematics Tutoring through Classroom Teaching Discourse
by: Cao, Jie, et al.
Published: (2024)

Personality-aware Student Simulation for Conversational Intelligent Tutoring Systems
by: Liu, Zhengyuan, et al.
Published: (2024)

"Help Me, But Don't Track Me": Intervention Timing and Privacy Boundaries for Process-Aware AI Tutors
by: Li, Jane Hanqi, et al.
Published: (2026)

On-Demand Instructional Material Providing Agent Based on MLLM for Tutoring Support
by: Kato, Takumi, et al.
Published: (2026)

Safe Generative Chats in a WhatsApp Intelligent Tutoring System
by: Levonian, Zachary, et al.
Published: (2024)

Integrating AI Tutors in a Programming Course
by: Ma, Iris, et al.
Published: (2024)

On The Reasonable Effectiveness of Relational Diagrams: Explaining Relational Query Patterns and the Pattern Expressiveness of Relational Languages
by: Gatterbauer, Wolfgang, et al.
Published: (2024)

PromptDecipher: Supporting AI Tutor Authoring Through Editable Simulated Interactions
by: Koyama, Miina, et al.
Published: (2026)