Buchumschlag

LeanAgent: Lifelong Learning for Formal Theorem Proving

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kumarappan, Adarsh, Tiwari, Mo, Song, Peiyang, George, Robert Joseph, Xiao, Chaowei, Anandkumar, Anima
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Machine Learning 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

Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
von: Song, Peiyang, et al.
Veröffentlicht: (2024)

LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction
von: George, Robert Joseph, et al.
Veröffentlicht: (2025)

An In-Context Learning Agent for Formal Theorem-Proving
von: Thakur, Amitayush, et al.
Veröffentlicht: (2023)

What are the Right Symmetries for Formal Theorem Proving?
von: Olejniczak, Krzysztof, et al.
Veröffentlicht: (2026)

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
von: Liu, Chengwu, et al.
Veröffentlicht: (2026)

Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
von: Zhang, Terry Jingchen, et al.
Veröffentlicht: (2025)

Partial Label Learning for Automated Theorem Proving
von: Zombori, Zsolt, et al.
Veröffentlicht: (2025)

MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
von: Li, Sirui, et al.
Veröffentlicht: (2025)

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
von: Florath, Andreas
Veröffentlicht: (2024)

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
von: Liu, Qi, et al.
Veröffentlicht: (2025)

Twitch: Learning Abstractions for Equational Theorem Proving
von: Axelrod, Guy, et al.
Veröffentlicht: (2026)

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
von: Rao, Balaji, et al.
Veröffentlicht: (2025)

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
von: Lamont, Sean, et al.
Veröffentlicht: (2024)

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

BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
von: Lamont, Sean, et al.
Veröffentlicht: (2024)

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

Autoformalizing Euclidean Geometry
von: Murphy, Logan, et al.
Veröffentlicht: (2024)

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

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
von: Thakur, Amitayush, et al.
Veröffentlicht: (2025)

SubgoalXL: Subgoal-based Expert Learning for Theorem Proving
von: Zhao, Xueliang, et al.
Veröffentlicht: (2024)

STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving
von: Dong, Kefan, et al.
Veröffentlicht: (2025)

Enhancing Neural Theorem Proving through Data Augmentation and Dynamic Sampling Method
von: Vishwakarma, Rahul, et al.
Veröffentlicht: (2023)

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
von: Cao, Chuxue, et al.
Veröffentlicht: (2025)

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
von: Shea-Blymyer, Colin, et al.
Veröffentlicht: (2024)

Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
von: Aniva, Leni, et al.
Veröffentlicht: (2024)

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
von: Liang, Zhenwen, et al.
Veröffentlicht: (2025)

Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving
von: Rashie, Devakh, et al.
Veröffentlicht: (2026)

Proving the Coding Interview: A Benchmark for Formally Verified Code Generation
von: Dougherty, Quinn, et al.
Veröffentlicht: (2025)

Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
von: An, Chenyang, et al.
Veröffentlicht: (2024)

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
von: Li, Jinzheng, et al.
Veröffentlicht: (2026)

Canonical for Automated Theorem Proving in Lean
von: Norman, Chase, et al.
Veröffentlicht: (2025)

Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving
von: Rajaee, Sara, et al.
Veröffentlicht: (2025)

Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization
von: Yanahama, Banri, et al.
Veröffentlicht: (2026)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
von: Xu, Yang, et al.
Veröffentlicht: (2025)

Learning Formal Mathematics From Intrinsic Motivation
von: Poesia, Gabriel, et al.
Veröffentlicht: (2024)

Using Aristotle API for AI-Assisted Theorem Proving in Lean 4: A Formalisation Case Study of the Grasshopper Problem
von: Lau, Gabriel Rongyang
Veröffentlicht: (2026)

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

Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
von: Ramani, Keshav, et al.
Veröffentlicht: (2025)

Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces
von: Foldvik, Simon
Veröffentlicht: (2026)

Learning Rules Explaining Interactive Theorem Proving Tactic Prediction
von: Zhang, Liao, et al.
Veröffentlicht: (2024)