Buchumschlag

DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhang, Youyuan, Sun, Jialiang, Bi, Hangrui, Geng, Chuqin, Ma, Wenjie, Li, Zhaoyu, Si, Xujie
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Survey on Deep Learning for Theorem Proving
von: Li, Zhaoyu, et al.
Veröffentlicht: (2024)

EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty
von: Tian, Yuchen, et al.
Veröffentlicht: (2025)

Learning Minimal Neural Specifications
von: Geng, Chuqin, et al.
Veröffentlicht: (2024)

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

LLM Library Learning Fails: A LEGO-Prover Case Study
von: Berlot-Attwell, Ian, et al.
Veröffentlicht: (2025)

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
von: Chen, Luoxin, et al.
Veröffentlicht: (2025)

Proving Properties of $φ$-Representations with the Walnut Theorem-Prover
von: Shallit, Jeffrey
Veröffentlicht: (2023)

PhysProver: Advancing Automatic Theorem Proving for Physics
von: Zhang, Hanning, et al.
Veröffentlicht: (2026)

SAT-DIFF: A Tree Diffing Framework Using SAT Solving
von: Geng, Chuqin, et al.
Veröffentlicht: (2024)

Spark-Prover-X1: Formal Theorem Proving Through Diverse Data Training
von: Zhou, Xinyuan, et al.
Veröffentlicht: (2025)

Decoupling Training-Free Guided Diffusion by ADMM
von: Zhang, Youyuan, et al.
Veröffentlicht: (2024)

LogicXGNN: Grounded Logical Rules for Explaining Graph Neural Networks
von: Geng, Chuqin, et al.
Veröffentlicht: (2025)

NEUROLOGIC: From Neural Representations to Interpretable Logic Rules
von: Geng, Chuqin, et al.
Veröffentlicht: (2025)

Neural Proposals, Symbolic Guarantees: Neuro-Symbolic Graph Generation with Hard Constraints
von: Geng, Chuqin, et al.
Veröffentlicht: (2026)

Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning
von: Ji, Xingguang, et al.
Veröffentlicht: (2025)

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

Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
von: Li, Zenan, et al.
Veröffentlicht: (2025)

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
von: Lin, Yong, et al.
Veröffentlicht: (2025)

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

HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
von: Hu, Jilin, et al.
Veröffentlicht: (2025)

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
von: Lin, Yong, et al.
Veröffentlicht: (2025)

BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving
von: Xin, Ran, et al.
Veröffentlicht: (2025)

Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
von: Chen, Jiangjie, et al.
Veröffentlicht: (2025)

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

EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving
von: Li, Mukai, et al.
Veröffentlicht: (2025)

OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving
von: Li, Chenyi, et al.
Veröffentlicht: (2026)

MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation
von: Liang, Zhenwen, et al.
Veröffentlicht: (2025)

G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
von: Li, Zhaoyu, et al.
Veröffentlicht: (2023)

VISIONLOGIC: From Neuron Activations to Causally Grounded Concept Rules for Vision Models
von: Geng, Chuqin, et al.
Veröffentlicht: (2025)

InternLM2.5-StepProver: Advancing Automated Theorem Proving via Critic-Guided Search
von: Wu, Zijian, et al.
Veröffentlicht: (2024)

Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
von: Breen, Benjamin, et al.
Veröffentlicht: (2025)

DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
von: Xin, Huajian, et al.
Veröffentlicht: (2024)

Proving Functional Program Equivalence via Directed Lemma Synthesis
von: Sun, Yican, et al.
Veröffentlicht: (2024)

HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving
von: Li, Yang, et al.
Veröffentlicht: (2024)

Beyond Message Passing: A Symbolic Alternative for Expressive and Interpretable Graph Learning
von: Geng, Chuqin, et al.
Veröffentlicht: (2026)

Neural Network-Based Change Point Detection for Large-Scale Time-Evolving Data
von: Geng, Jialiang, et al.
Veröffentlicht: (2025)

A Minimal Agent for Automated Theorem Proving
von: Requena, Borja, et al.
Veröffentlicht: (2026)

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

Do Neurons Dream of Primitive Operators? Wake-Sleep Compression Rediscovers Schank's Event Semantics
von: Balogh, Peter
Veröffentlicht: (2026)

LeanAgent: Lifelong Learning for Formal Theorem Proving
von: Kumarappan, Adarsh, et al.
Veröffentlicht: (2024)