Image de couverture de livre

A Survey on Deep Learning for Theorem Proving

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Li, Zhaoyu, Sun, Jialiang, Murphy, Logan, Su, Qidong, Li, Zenan, Zhang, Xian, Yang, Kaiyu, Si, Xujie
Format:	Preprint
Publié:	2024
Sujets:	Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
par: Li, Zenan, et autres
Publié: (2025)

Autoformalizing Euclidean Geometry
par: Murphy, Logan, et autres
Publié: (2024)

DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent
par: Zhang, Youyuan, et autres
Publié: (2026)

Learning to Disprove: Formal Counterexample Generation with Large Language Models
par: Li, Zenan, et autres
Publié: (2026)

Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models
par: Cao, Chenrui, et autres
Publié: (2025)

Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
par: Song, Peiyang, et autres
Publié: (2024)

Proving Theorems Recursively
par: Wang, Haiming, et autres
Publié: (2024)

APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts
par: Dong, Honghua, et autres
Publié: (2024)

DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning
par: Zhang, Ziyin, et autres
Publié: (2025)

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
par: Lin, Yong, et autres
Publié: (2025)

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
par: Chen, Luoxin, et autres
Publié: (2025)

Lyra: Orchestrating Dual Correction in Automated Theorem Proving
par: Zheng, Chuanyang, et autres
Publié: (2023)

A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation
par: Xiong, Beibei, et autres
Publié: (2025)

Learning to Reason with Insight for Informal Theorem Proving
par: Li, Yunhe, et autres
Publié: (2026)

MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation
par: Liang, Zhenwen, et autres
Publié: (2025)

Psychometric-Based Evaluation for Theorem Proving with Large Language Models
par: Zhang, Jianyu, et autres
Publié: (2025)

A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants
par: Bayazıt, Barış, et autres
Publié: (2025)

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning
par: Ji, Xingguang, et autres
Publié: (2025)

A Minimal Agent for Automated Theorem Proving
par: Requena, Borja, et autres
Publié: (2026)

DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
par: Xin, Huajian, et autres
Publié: (2024)

Mathesis: Towards Formal Theorem Proving from Natural Languages
par: Xuejun, Yu, et autres
Publié: (2025)

Partial Label Learning for Automated Theorem Proving
par: Zombori, Zsolt, et autres
Publié: (2025)

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving
par: Wang, Ruida, et autres
Publié: (2025)

Rethinking Supervision Granularity: Segment-Level Learning for LLM-Based Theorem Proving
par: Xu, Shuo, et autres
Publié: (2026)

Distilling LLM Feedback for Lean Theorem Proving
par: Narozniak, Gaetan, et autres
Publié: (2026)

HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving
par: Li, Yang, et autres
Publié: (2024)

PhysProver: Advancing Automatic Theorem Proving for Physics
par: Zhang, Hanning, et autres
Publié: (2026)

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
par: Lin, Yong, et autres
Publié: (2025)

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
par: Luo, Ziyan, et autres
Publié: (2023)

Towards Repository-Level Program Verification with Large Language Models
par: Zhong, Si Cheng, et autres
Publié: (2025)

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
par: Liu, Chengwu, et autres
Publié: (2026)

ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis
par: Liu, Haoxiong, et autres
Publié: (2025)

Twitch: Learning Abstractions for Equational Theorem Proving
par: Axelrod, Guy, et autres
Publié: (2026)

OProver: A Unified Framework for Agentic Formal Theorem Proving
par: Ma, David, et autres
Publié: (2026)

Aristotle: IMO-level Automated Theorem Proving
par: Achim, Tudor, et autres
Publié: (2025)

Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
par: Breen, Benjamin, et autres
Publié: (2025)

BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving
par: Xin, Ran, et autres
Publié: (2025)

Lean-STaR: Learning to Interleave Thinking and Proving
par: Lin, Haohan, et autres
Publié: (2024)

MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
par: Li, Sirui, et autres
Publié: (2025)

LeanAgent: Lifelong Learning for Formal Theorem Proving
par: Kumarappan, Adarsh, et autres
Publié: (2024)