Generative AI alone may not be enough: Evaluating AI Support for Learning Mathematical Proof
Fuente:
arXiv
Salvato in:
| Autori principali: | Chen, Eason, Judicke, Sophia, Beigh, Kayla, Tang, Xinyi, Xiao, Zimo, Li, Chuangji, Li, Shizhuo, Luttmer, Reed, Singh, Shreya, Yampolsky, Maria, Parikh, Naman, Zhao, Yi, Chen, Meiyi, Huang, Scarlett, Mohanty, Anishka, Johnson, Gregory, Mackey, John, Lin, Jionghao, Koedinger, Ken |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Chat-Based Support Alone May Not Be Enough: Comparing Conversational and Embedded LLM Feedback for Mathematical Proof Learning
di: Chen, Eason, et al.
Pubblicazione: (2026)
di: Chen, Eason, et al.
Pubblicazione: (2026)
Comparing RAG and GraphRAG for Page-Level Retrieval Question Answering on Math Textbook
di: Chen, Eason, et al.
Pubblicazione: (2025)
di: Chen, Eason, et al.
Pubblicazione: (2025)
From Tool to Teammate: LLM Coding Agents as Collaborative Partners for Behavioral Labeling in Educational Dialogue Analysis
di: Chen, Eason, et al.
Pubblicazione: (2026)
di: Chen, Eason, et al.
Pubblicazione: (2026)
AI Knows Best? The Paradox of Expertise, AI-Reliance, and Performance in Educational Tutoring Decision-Making Tasks
di: Chen, Eason, et al.
Pubblicazione: (2025)
di: Chen, Eason, et al.
Pubblicazione: (2025)
SuiGPT MAD: Move AI Decompiler to Improve Transparency and Auditability on Non-Open-Source Blockchain Smart Contract
di: Chen, Eason, et al.
Pubblicazione: (2024)
di: Chen, Eason, et al.
Pubblicazione: (2024)
SlideItRight: Using AI to Find Relevant Slides and Provide Feedback for Open-Ended Questions
di: Zhao, Chloe Qianhui, et al.
Pubblicazione: (2025)
di: Zhao, Chloe Qianhui, et al.
Pubblicazione: (2025)
GPTutor: Great Personalized Tutor with Large Language Models for Personalized Learning Content Generation
di: Chen, Eason, et al.
Pubblicazione: (2024)
di: Chen, Eason, et al.
Pubblicazione: (2024)
VTutor: An Open-Source SDK for Generative AI-Powered Animated Pedagogical Agents with Multi-Media Output
di: Chen, Eason, et al.
Pubblicazione: (2025)
di: Chen, Eason, et al.
Pubblicazione: (2025)
VTutor: An Animated Pedagogical Agent SDK that Provide Real Time Multi-Model Feedback
di: Chen, Eason, et al.
Pubblicazione: (2025)
di: Chen, Eason, et al.
Pubblicazione: (2025)
Endometrial assessment in abnormal uterine bleeding: transvaginal ultrasound alone may not be good enough
di: S. Nijjar, et al.
Pubblicazione: (2025)
di: S. Nijjar, et al.
Pubblicazione: (2025)
VTutor for High-Impact Tutoring at Scale: Managing Engagement and Real-Time Multi-Screen Monitoring with P2P Connections
di: Chen, Eason, et al.
Pubblicazione: (2025)
di: Chen, Eason, et al.
Pubblicazione: (2025)
Practice Less, Explain More: LLM-Supported Self-Explanation Improves Explanation Quality on Transfer Problems in Calculus
di: Chen, Eason, et al.
Pubblicazione: (2026)
di: Chen, Eason, et al.
Pubblicazione: (2026)
Leveraging Large Language Models for Identifying Knowledge Components
di: Wang, Canwen, et al.
Pubblicazione: (2025)
di: Wang, Canwen, et al.
Pubblicazione: (2025)
How Can I Improve? Using GPT to Highlight the Desired and Undesired Parts of Open-ended Responses
di: Lin, Jionghao, et al.
Pubblicazione: (2024)
di: Lin, Jionghao, et al.
Pubblicazione: (2024)
Improving Assessment of Tutoring Practices using Retrieval-Augmented Generation
di: Han, Zifei FeiFei, et al.
Pubblicazione: (2024)
di: Han, Zifei FeiFei, et al.
Pubblicazione: (2024)
Assessing the Impact and Underlying Pathways of Sequenced AI feedback on Student Learning
di: Cao, Jie, et al.
Pubblicazione: (2026)
di: Cao, Jie, et al.
Pubblicazione: (2026)
A Systematic Review on Prompt Engineering in Large Language Models for K-12 STEM Education
di: Chen, Eason, et al.
Pubblicazione: (2024)
di: Chen, Eason, et al.
Pubblicazione: (2024)
Measuring poverty dynamics and inequality in transition economies : disentangling real events from noisy data / Erzo F. P. Luttmer
di: Luttmer, Erzo F.P
Pubblicazione: (2001)
di: Luttmer, Erzo F.P
Pubblicazione: (2001)
Measuring poverty dynamics and inequality in transition economies : disentangling real events from noisy data / Erzo F. P. Luttmer
di: Luttmer, Erzo F.P
Pubblicazione: (2001)
di: Luttmer, Erzo F.P
Pubblicazione: (2001)
Building Regulation Capacity in Human-AI Collaborative Learning: A Human-Centred GenAI System
di: Zhang, Yujing, et al.
Pubblicazione: (2026)
di: Zhang, Yujing, et al.
Pubblicazione: (2026)
Exploring the Roles of NLP-based Dialog Indicators in Predicting User Experience in interacting with Large Language Model System
di: Chen, Eason
Pubblicazione: (2024)
di: Chen, Eason
Pubblicazione: (2024)
Enhancing the De-identification of Personally Identifiable Information in Educational Data
di: Ji, Zilyu, et al.
Pubblicazione: (2025)
di: Ji, Zilyu, et al.
Pubblicazione: (2025)
Indian Stock Market Prediction using Augmented Financial Intelligence ML
di: Chauhan, Anishka, et al.
Pubblicazione: (2024)
di: Chauhan, Anishka, et al.
Pubblicazione: (2024)
Do Tutors Learn from Equity Training and Can Generative AI Assess It?
di: Thomas, Danielle R., et al.
Pubblicazione: (2024)
di: Thomas, Danielle R., et al.
Pubblicazione: (2024)
AI2T: Building Trustable AI Tutors by Interactively Teaching a Self-Aware Learning Agent
di: Weitekamp, Daniel, et al.
Pubblicazione: (2024)
di: Weitekamp, Daniel, et al.
Pubblicazione: (2024)
LLM-based Multimodal Feedback Produces Equivalent Learning and Better Student Perceptions than Educator Feedback
di: Zhao, Chloe Qianhui, et al.
Pubblicazione: (2026)
di: Zhao, Chloe Qianhui, et al.
Pubblicazione: (2026)
Does Multiple Choice Have a Future in the Age of Generative AI? A Posttest-only RCT
di: Thomas, Danielle R., et al.
Pubblicazione: (2024)
di: Thomas, Danielle R., et al.
Pubblicazione: (2024)
Buck You: Designing Easy-to-Onboard Blockchain Applications with Zero-Knowledge Login and Sponsored Transactions on Sui
di: Chen, Eason, et al.
Pubblicazione: (2024)
di: Chen, Eason, et al.
Pubblicazione: (2024)
A survey on AI-augmented Secure RTL design for hardware trojan prevention
di: Parikh, Raj, et al.
Pubblicazione: (2025)
di: Parikh, Raj, et al.
Pubblicazione: (2025)
Minimal unit vector fields on oscillator groups
di: Yampolsky, Alexander
Pubblicazione: (2025)
di: Yampolsky, Alexander
Pubblicazione: (2025)
Improving Automated Feedback Systems for Tutor Training in Low-Resource Scenarios through Data Augmentation
di: Xu, Chentianye, et al.
Pubblicazione: (2025)
di: Xu, Chentianye, et al.
Pubblicazione: (2025)
Using Large Language Models to Assess Tutors' Performance in Reacting to Students Making Math Errors
di: Kakarla, Sanjit, et al.
Pubblicazione: (2024)
di: Kakarla, Sanjit, et al.
Pubblicazione: (2024)
Bugdar: AI-Augmented Secure Code Review for GitHub Pull Requests
di: Naulty, John, et al.
Pubblicazione: (2025)
di: Naulty, John, et al.
Pubblicazione: (2025)
Speeding Ticket: Unveiling the Energy and Emission Burden of AI-Accelerated Distributed and Decentralized Power Dispatch Models
di: Li, Meiyi, et al.
Pubblicazione: (2024)
di: Li, Meiyi, et al.
Pubblicazione: (2024)
Not Everyone Wins with LLMs: Behavioral Patterns and Pedagogical Implications for AI Literacy in Programmatic Data Science
di: Ma, Qianou, et al.
Pubblicazione: (2025)
di: Ma, Qianou, et al.
Pubblicazione: (2025)
Augmenting Human-Annotated Training Data with Large Language Model Generation and Distillation in Open-Response Assessment
di: Borchers, Conrad, et al.
Pubblicazione: (2025)
di: Borchers, Conrad, et al.
Pubblicazione: (2025)
Information Extraction from Unstructured data using Augmented-AI and Computer Vision
di: Parikh, Aditya
Pubblicazione: (2023)
di: Parikh, Aditya
Pubblicazione: (2023)
Beyond Agreement: Rethinking Ground Truth in Educational AI Annotation
di: Thomas, Danielle R., et al.
Pubblicazione: (2025)
di: Thomas, Danielle R., et al.
Pubblicazione: (2025)
“As a resistor, you are not alone”: Locating the collective in uncoordinated acts of professional resistance
di: Tasha R. Wyatt, et al.
Pubblicazione: (2025)
di: Tasha R. Wyatt, et al.
Pubblicazione: (2025)
Agentic AI in Product Management: A Co-Evolutionary Model
di: Parikh, Nishant A.
Pubblicazione: (2025)
di: Parikh, Nishant A.
Pubblicazione: (2025)
Documenti analoghi
-
Chat-Based Support Alone May Not Be Enough: Comparing Conversational and Embedded LLM Feedback for Mathematical Proof Learning
di: Chen, Eason, et al.
Pubblicazione: (2026) -
Comparing RAG and GraphRAG for Page-Level Retrieval Question Answering on Math Textbook
di: Chen, Eason, et al.
Pubblicazione: (2025) -
From Tool to Teammate: LLM Coding Agents as Collaborative Partners for Behavioral Labeling in Educational Dialogue Analysis
di: Chen, Eason, et al.
Pubblicazione: (2026) -
AI Knows Best? The Paradox of Expertise, AI-Reliance, and Performance in Educational Tutoring Decision-Making Tasks
di: Chen, Eason, et al.
Pubblicazione: (2025) -
SuiGPT MAD: Move AI Decompiler to Improve Transparency and Auditability on Non-Open-Source Blockchain Smart Contract
di: Chen, Eason, et al.
Pubblicazione: (2024)