Buchumschlag

Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Yanahama, Banri, Sannai, Akiyoshi
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Human-Computer Interaction Artificial Intelligence Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

LeanTutor: Towards a Verified AI Mathematical Proof Tutor
von: Patel, Manooshree, et al.
Veröffentlicht: (2025)

Discovering New Theorems via LLMs with In-Context Proof Learning in Lean
von: Kasaura, Kazumi, et al.
Veröffentlicht: (2025)

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

Approximating Human Models During Argumentation-based Dialogues
von: Tang, Yinxu, et al.
Veröffentlicht: (2024)

An XAI View on Explainable ASP: Methods, Systems, and Perspectives
von: Eiter, Thomas, et al.
Veröffentlicht: (2026)

Dialectical Reconciliation via Structured Argumentative Dialogues
von: Vasileiou, Stylianos Loukas, et al.
Veröffentlicht: (2023)

Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
von: Huang, Ruanqianqian, et al.
Veröffentlicht: (2025)

Proof Assistants for Teaching: a Survey
von: Minh, Frédéric Tran, et al.
Veröffentlicht: (2025)

Dialogue-based Explanations for Logical Reasoning using Structured Argumentation
von: Ho, Loan, et al.
Veröffentlicht: (2025)

Viverra: Text-to-Code with Guarantees
von: Wu, Haoze, et al.
Veröffentlicht: (2026)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
von: Ospanov, Azim, et al.
Veröffentlicht: (2025)

PBLean: Pseudo-Boolean Proof Certificates for Lean 4
von: Szeider, Stefan
Veröffentlicht: (2026)

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

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

Unexploited Information Value in Human-AI Collaboration
von: Guo, Ziyang, et al.
Veröffentlicht: (2024)

Human-Centered Human-AI Collaboration (HCHAC)
von: Gao, Qi, et al.
Veröffentlicht: (2025)

Real-Time Intuitive AI Drawing System for Collaboration: Enhancing Human Creativity through Formal and Contextual Intent Integration
von: Song, Jookyung, et al.
Veröffentlicht: (2025)

ASP-driven User-interaction with Clinguin
von: Beiser, Alexander, et al.
Veröffentlicht: (2025)

Translating Informal Proofs into Formal Proofs Using a Chain of States
von: Wang, Ziyu, et al.
Veröffentlicht: (2025)

Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs
von: Yin, David, et al.
Veröffentlicht: (2025)

Human-Human-AI Triadic Programming: Uncovering the Role of AI Agent and the Value of Human Partner in Collaborative Learning
von: Daryanto, Taufiq, et al.
Veröffentlicht: (2026)

Human-AI Collaboration in Large Language Model-Integrated Building Energy Management Systems: The Role of User Domain Knowledge and AI Literacy
von: Jung, Wooyoung, et al.
Veröffentlicht: (2026)

The AI Collaborator: Bridging Human-AI Interaction in Educational and Professional Settings
von: Samadi, Mohammad Amin, et al.
Veröffentlicht: (2024)

Transparent AI: Developing an Explainable Interface for Predicting Postoperative Complications
von: Ren, Yuanfang, et al.
Veröffentlicht: (2024)

Deconstructing Human-AI Collaboration: Agency, Interaction, and Adaptation
von: Holter, Steffen, et al.
Veröffentlicht: (2024)

SARD: A Human-AI Collaborative Story Generation
von: Radwan, Ahmed Y., et al.
Veröffentlicht: (2024)

Complementarity in Human-AI Collaboration: Concept, Sources, and Evidence
von: Hemmer, Patrick, et al.
Veröffentlicht: (2024)

Keep the Proof State Live: Snapshotting for Efficient Tactic Search in Lean 4
von: Shen, Austin, et al.
Veröffentlicht: (2026)

Evaluating Human-AI Collaboration: A Review and Methodological Framework
von: Fragiadakis, George, et al.
Veröffentlicht: (2024)

Don't be Fooled: The Misinformation Effect of Explanations in Human-AI Collaboration
von: Spitzer, Philipp, et al.
Veröffentlicht: (2024)

Human-AI Collaborative Game Testing with Vision Language Models
von: Zhang, Boran, et al.
Veröffentlicht: (2025)

Dyadic: A Scalable Platform for Human-Human and Human-AI Conversation Research
von: Markowitz, David M.
Veröffentlicht: (2026)

Development of Mental Models in Human-AI Collaboration: A Conceptual Framework
von: Holstein, Joshua, et al.
Veröffentlicht: (2025)

Reflection on Data Storytelling Tools in the Generative AI Era from the Human-AI Collaboration Perspective
von: Li, Haotian, et al.
Veröffentlicht: (2025)

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

Causal Responsibility Attribution for Human-AI Collaboration
von: Qi, Yahang, et al.
Veröffentlicht: (2024)

Understanding Mode Switching in Human-AI Collaboration: Behavioral Insights and Predictive Modeling
von: Nargund, Avinash Ajit, et al.
Veröffentlicht: (2025)

Human-AI Co-Creation: A Framework for Collaborative Design in Intelligent Systems
von: Liu, Zhangqi
Veröffentlicht: (2025)

ChatCollab: Exploring Collaboration Between Humans and AI Agents in Software Teams
von: Klieger, Benjamin, et al.
Veröffentlicht: (2024)

The AI-Therapist Duo: Exploring the Potential of Human-AI Collaboration in Personalized Art Therapy for PICS Intervention
von: Yilma, Bereket A., et al.
Veröffentlicht: (2025)