Cover Image

Proof Assistants for Teaching: a Survey

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Minh, Frédéric Tran, Gonnord, Laure, Narboux, Julien
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Human-Computer Interaction
Online Access:	Acceder al recurso
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: (2025)

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

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)

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

Dialectical Reconciliation via Structured Argumentative Dialogues
by: Vasileiou, Stylianos Loukas, et al.
Published: (2023)

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
by: Gonzalez, Salwa Tabet, 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)

Usable-by-Construction: a formal framework
by: Reeves, Steve
Published: (2024)

On Complexity Bounds and Confluence of Parallel Term Rewriting
by: Baudon, Thaïs, et al.
Published: (2023)

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)

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

Approximating Human Models During Argumentation-based Dialogues
by: Tang, Yinxu, et al.
Published: (2024)

An XAI View on Explainable ASP: Methods, Systems, and Perspectives
by: Eiter, Thomas, et al.
Published: (2026)

A Logical Formalisation of a Hypothesis in Weighted Abduction: towards User-Feedback Dialogues
by: Motoura, Shota, et al.
Published: (2025)

Dialogue-based Explanations for Logical Reasoning using Structured Argumentation
by: Ho, Loan, et al.
Published: (2025)

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

Viverra: Text-to-Code with Guarantees
by: Wu, Haoze, et al.
Published: (2026)

Proceedings The 13th International Workshop on Theorem proving components for Educational software
by: Narboux, Julien, et al.
Published: (2025)

Proceedings 12th International Workshop on Theorem proving components for Educational software
by: Narboux, Julien, et al.
Published: (2024)

Proof Scores: A Survey (full version)
by: Riesco, Adrian, et al.
Published: (2025)

ASP-driven User-interaction with Clinguin
by: Beiser, Alexander, et al.
Published: (2025)

Desirable Characteristics for AI Teaching Assistants in Programming Education
by: Denny, Paul, et al.
Published: (2024)

Doraemon's Gadget Lab: Unpacking Human Needs and Interaction Design in Speculative Technology
by: Tran, Tram Thi Minh
Published: (2025)

From Everyday Technologies to Augmented Reality: An Autoethnographic Study of Presence and Engagement
by: Tran, Tram Thi Minh
Published: (2025)

A Humanoid Social Robot as a Teaching Assistant in the Classroom
by: Sievers, Thomas
Published: (2025)

Generative AI as a Learning Buddy and Teaching Assistant: Pre-service Teachers' Uses and Attitudes
by: Nyaaba, Matthew, et al.
Published: (2024)

Advancing VR Simulators for Autonomous Vehicle-Pedestrian Interactions: A Focus on Multi-Entity Scenarios
by: Tran, Tram Thi Minh, et al.
Published: (2024)

ArticulatePro: A Comparative Study on a Proactive and Non-Proactive Assistant in a Climate Data Exploration Task
by: Tabalba, Roderick, et al.
Published: (2024)

Four Paradoxes and a Proof Assistant: Burali-Forti, Diaconescu, Reynolds, and Hurkens in the coq-paradoxes library
by: Alonso, Bernardo
Published: (2026)

Proofs that Modify Proofs, 1/2
by: Towsner, Henry
Published: (2025)

Interactive Formal Specification for Mathematical Problems of Engineers
by: Neuper, Walther
Published: (2024)

TAMIGO: Empowering Teaching Assistants using LLM-assisted viva and code assessment in an Advanced Computing Class
by: IIITD, Anishka, et al.
Published: (2024)

Rethinking External Communication of Autonomous Vehicles: Is the Field Converging, Diverging, or Stalling?
by: Tran, Tram Thi Minh, et al.
Published: (2026)

Scoping Out the Scalability Issues of Autonomous Vehicle-Pedestrian Interaction
by: Tran, Tram Thi Minh, et al.
Published: (2024)

A Review of Virtual Reality Studies on Autonomous Vehicle--Pedestrian Interaction
by: Tran, Tram Thi Minh, et al.
Published: (2024)

Assessment of Sign Language-Based versus Touch-Based Input for Deaf Users Interacting with Intelligent Personal Assistants
by: Tran, Nina, et al.
Published: (2024)

Acceptability of AI Assistants for Privacy: Perceptions of Experts and Users on Personalized Privacy Assistants
by: Xu, Meihe, et al.
Published: (2025)

Can ChatGPT Play the Role of a Teaching Assistant in an Introductory Programming Course?
by: Anishka, et al.
Published: (2023)

The Proof Analysis Problem
by: Arteche, Noel, et al.
Published: (2025)