Cover Image

When Verification Hurts: Asymmetric Effects of Multi-Agent Feedback in Logic Proof Tutoring

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Yasir, Tahreem, Tithi, Sutapa Dey, Tabarsi, Benyamin, Droujkov, Dmitri, Rajapaksha, Sam Gilson Yasitha, Tian, Xiaoyi, Ramesh, Arun, DongKuan, Xu, Barnes, Tiffany
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Data-Driven Hints in Intelligent Tutoring Systems
by: Tithi, Sutapa Dey, et al.
Published: (2026)

Confirming Correct, Missing the Rest: LLM Tutoring Agents Struggle Where Feedback Matters Most
by: Yasir, Tahreem, et al.
Published: (2026)

Adaptive Scaffolding for Cognitive Engagement in an Intelligent Tutoring System
by: Tithi, Sutapa Dey, et al.
Published: (2026)

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

SafeTalkCoach: Diversity-Driven Multi-Agent Simulation for Parent-Teen Health Conversations
by: Tabarsi, Benyamin, et al.
Published: (2026)

Exploring the Design and Impact of Interactive Worked Examples for Learners with Varying Prior Knowledge
by: Tithi, Sutapa Dey, et al.
Published: (2026)

The promise and limits of LLMs in constructing proofs and hints for logic problems in intelligent tutoring systems
by: Tithi, Sutapa Dey, et al.
Published: (2025)

Enhancing Mathematical Problem Solving in LLMs through Execution-Driven Reasoning Augmentation
by: Basarkar, Aditya, et al.
Published: (2026)

LLMs' Reshaping of People, Processes, Products, and Society in Software Development: A Comprehensive Exploration with Early Adopters
by: Tabarsi, Benyamin, et al.
Published: (2025)

Exploring Teacher-Chatbot Interaction and Affect in Block-Based Programming
by: Riahi, Bahare, et al.
Published: (2026)

Quasilifting of hulls and depth of tensor product of modules
by: Dey, Sutapa, et al.
Published: (2024)

Sex‐Modulated TACSTD2 Methylation and Hormone‐Receptor Axis Interactions in Glioblastoma: Insights Toward Mechanistic Understanding
by: Tahreem Fatima
Published: (2026)

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

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

Hurt, Baby, Hurt
by: Scott III, William Walter
Published: (2025)

When LLMs Help -- and Hurt -- Teaching Assistants in Proof-Based Courses
by: Mahinpei, Romina, et al.
Published: (2026)

WOMEN’S REPRESENTATION AND LEGISLATIVE COMMITTEE APPOINTMENTS: THE CASE OF THE ARGENTINE PROVINCES
by: Tiffany D. Barnes
Published: (2014)

Pleural Effusion in an HIV ‐Positive Patient: A Case Report and Review of Diagnostic Challenges
by: Payam Tabarsi, et al.
Published: (2025)

Long COVID‐19 leading to Good's syndrome diagnosis: A clinical case‐report and literature review
by: Payam Tabarsi, et al.
Published: (2024)

The Modal Logic of Finitely Symmetry-Preserving Iterated Extensions is Exactly S4
by: Gilson, Frank
Published: (2025)

Proof-Carrying Fair Ordering: Asymmetric Verification for BFT via Incremental Graphs
by: Ren, Pengkun, et al.
Published: (2025)

The Hurts Don't Hurt Anymore
by: Miller, Betty Davis
Published: (1976)

EMOTIONAL TONES (ANGER, FEAR AND EXCITEMENT) LEADS TO THE PROPAGATION OF FAKE NEWS: LITERATURE REVIEW ON COVID-19 INFODEMIC
by: Itba Tahreem,Huzaifa Shakeel
Published: (2025)

Unmasking Parkinson's Disease with Smile: An AI-enabled Screening Framework
by: Adnan, Tariq, et al.
Published: (2023)

When Correct Demonstrations Hurt: Rethinking the Role of Exemplars in In-Context Learning
by: Qiu, Chenghao, et al.
Published: (2026)

Enhanced Cooling Strategy With a Heat‐Carrying Plate for Thermal Management of Pouch‐Type Battery Pack
by: Tahreem Husain, et al.
Published: (2025)

Hurt Feelings
by: Skuse, Alanna
Published: (2025)

‘Hurt geography’
Published: (2024)

Sleep quality is associated with reduced quality of life in inflammatory bowel disease through its interaction with pain
by: Alex Barnes, et al.
Published: (2024)

RoguePrompt: Dual-Layer Ciphering for Self-Reconstruction to Circumvent LLM Moderation
by: Tafreshian, Benyamin
Published: (2025)

Foundations of Riemannian Geometry for Riemannian Optimization: A Monograph with Detailed Derivations
by: Ghojogh, Benyamin
Published: (2026)

The Latency Wall: Benchmarking Off-the-Shelf Emotion Recognition for Real-Time Virtual Avatars
by: Benyamin, Yarin
Published: (2026)

Metastable Relaxation and Galactic Morphology: Local Perturbations as the Origin of Dwarf and Asymmetric Structures
by: Deryabin, Dmitri
Published: (2026)

Interference between lossy quantum evolutions activates information backflow
by: Saha, Sutapa, et al.
Published: (2025)

Critical surface adsorption of confined binary liquids with locally conserved mass and composition
by: Roy, Sutapa, et al.
Published: (2024)

“Those feminists haven't come to us, they don't know our reality”: Indian sex workers' narratives of love and power
by: Andrea Cornwall, et al.
Published: (2024)

Hurting for Options: Emergency Department Utilization for Chronic Pain in a Safety‐Net Hospital
by: Chun Nok Lam, et al.
Published: (2025)

Israel, As Hurt‐Geography
by: Nigel Rapport
Published: (2024)

Proof Complexity of Linear Logics
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2026)

Algebraic Semantics for the Logic of Proofs
by: Parsa, Amir Farahmand, et al.
Published: (2021)