Buchumschlag

The promise and limits of LLMs in constructing proofs and hints for logic problems in intelligent tutoring systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Tithi, Sutapa Dey, Ramesh, Arun Kumar, DiMarco, Clara, Tian, Xiaoyi, Alam, Nazia, Fazeli, Kimia, Barnes, Tiffany
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Data-Driven Hints in Intelligent Tutoring Systems
von: Tithi, Sutapa Dey, et al.
Veröffentlicht: (2026)

Adaptive Scaffolding for Cognitive Engagement in an Intelligent Tutoring System
von: Tithi, Sutapa Dey, et al.
Veröffentlicht: (2026)

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

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

Confirming Correct, Missing the Rest: LLM Tutoring Agents Struggle Where Feedback Matters Most
von: Yasir, Tahreem, et al.
Veröffentlicht: (2026)

When Verification Hurts: Asymmetric Effects of Multi-Agent Feedback in Logic Proof Tutoring
von: Yasir, Tahreem, et al.
Veröffentlicht: (2026)

Give me a hint: Can LLMs take a hint to solve math problems?
von: Agrawal, Vansh, et al.
Veröffentlicht: (2024)

Printed Circuit Board Based Rotating Coils for Measuring Sextupole Magnets
von: DiMarco, J.
Veröffentlicht: (2024)

Democratizing Foundations of Problem-Solving with AI: A Breadth-First Search Curriculum for Middle School Students
von: Pitts, Griffin, et al.
Veröffentlicht: (2026)

Quasilifting of hulls and depth of tensor product of modules
von: Dey, Sutapa, et al.
Veröffentlicht: (2024)

Discovering the curriculum with AI: A proof-of-concept demonstration with an intelligent tutoring system for teaching project selection
von: Heindrich, Lovis, et al.
Veröffentlicht: (2024)

WOMEN’S REPRESENTATION AND LEGISLATIVE COMMITTEE APPOINTMENTS: THE CASE OF THE ARGENTINE PROVINCES
von: Tiffany D. Barnes
Veröffentlicht: (2014)

Algebraic proof theory for LE-logics
von: Greco, Giuseppe, et al.
Veröffentlicht: (2018)

Analytic proofs for logics of evidence and truth
von: Carnielli, Walter, et al.
Veröffentlicht: (2024)

The promises and limitations of artificial intelligence for quality improvement, patient safety, and research in hospital medicine
von: Stephen P. Ma, et al.
Veröffentlicht: (2024)

Use of artificial intelligence for veterinary triage: a promising tool but with limitations in the emergency setting
von: Elizabeth J Thomovsky
Veröffentlicht: (2026)

Can LLMs plan paths with extra hints from solvers?
von: Wu, Erik, et al.
Veröffentlicht: (2024)

Unmasking Parkinson's Disease with Smile: An AI-enabled Screening Framework
von: Adnan, Tariq, et al.
Veröffentlicht: (2023)

Minimal modal logics, constructive modal logics and their relations
von: Dalmonte, Tiziano
Veröffentlicht: (2023)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
von: Santo, José Espírito, et al.
Veröffentlicht: (2020)

FMP for QD logics. A wrong proof
von: Gasquet, Olivier
Veröffentlicht: (2025)

Enhancing Mathematical Problem Solving in LLMs through Execution-Driven Reasoning Augmentation
von: Basarkar, Aditya, et al.
Veröffentlicht: (2026)

Work transformed: the promise and peril of artificial intelligence
von: Sofia Gomez Tamayo (Author), et al.
Veröffentlicht: (2025)

A nonstandard proof of de Finetti's theorem
von: Alam, Irfan
Veröffentlicht: (2019)

An intelligent tutor for planning in large partially observable environments
von: Heindrich, Lovis, et al.
Veröffentlicht: (2023)

Generating proof systems for three-valued propositional logics
von: Greati, Vitor, et al.
Veröffentlicht: (2024)

Sundholm's explanation of meaning: logical atavism and the nature of proofs
von: d'Aragona, Antonio Piccolomini
Veröffentlicht: (2025)

More efficient proof-search for sequents of temporal logic
von: Romas Alonderis
Veröffentlicht: (2022)

MAchines that learn from hints
Veröffentlicht: (1995)

Large lepton asymmetry from axion inflation and helium abundance hinted by ACT
von: Wu, Di, et al.
Veröffentlicht: (2025)

On systematic construction of correct logic programs
von: Drabent, Włodzimierz
Veröffentlicht: (2025)

Uniqueness of constructible models in continuous logic
von: Hanson, James E.
Veröffentlicht: (2025)

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

A constructive proof of Orzech's theorem
von: Grinberg, Darij
Veröffentlicht: (2026)

Between proof construction and SAT-solving
von: Schubert, Aleksy, et al.
Veröffentlicht: (2024)

Artificial intelligence positive psychology and therapy
von: Julie Prescott, et al.
Veröffentlicht: (2024)

A syntactic proof of decidability for the logic of bunched implication BI
von: Ramanayake, Revantha
Veröffentlicht: (2016)

Birkhoff style proof systems for hybrid-dynamic quantum logic
von: Gaina, Daniel
Veröffentlicht: (2024)

The proof theory and semantics of second-order (intuitionistic) tense logic
von: Becker, Justus, et al.
Veröffentlicht: (2026)

A logic of judgmental existence and its relation to proof irrelevance
von: Pezlar, Ivo
Veröffentlicht: (2024)