Buchumschlag

LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Onda, Naoto, Kasaura, Kazumi, Oriike, Yuta, Taniguchi, Masaya, Sannai, Akiyoshi, Sonoda, Sho
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Lean Formalization of Generalization Error Bound by Rademacher Complexity and Dudley's Entropy Integral
von: Sonoda, Sho, 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)

Generation of Geodesics with Actor-Critic Reinforcement Learning to Predict Midpoints
von: Kasaura, Kazumi
Veröffentlicht: (2024)

From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares Certificates
von: Zuo, Ruobing, et al.
Veröffentlicht: (2026)

Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs
von: Baba, Kaito, et al.
Veröffentlicht: (2025)

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

Distilling LLM Feedback for Lean Theorem Proving
von: Narozniak, Gaetan, et al.
Veröffentlicht: (2026)

Compactness in Constructive Mathematics via Affine Logic
von: Kasaura, Kazumi
Veröffentlicht: (2026)

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

LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving
von: Gao, Guoxiong, et al.
Veröffentlicht: (2026)

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

Unification of Symmetries Inside Neural Networks: Transformer, Feedforward and Neural ODE
von: Hashimoto, Koji, et al.
Veröffentlicht: (2024)

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

Conjecturing: An Overlooked Step in Formal Mathematical Reasoning
von: Sivakumar, Jasivan Alex, et al.
Veröffentlicht: (2025)

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)

Proving Theorems Recursively
von: Wang, Haiming, et al.
Veröffentlicht: (2024)

Lean-STaR: Learning to Interleave Thinking and Proving
von: Lin, Haohan, et al.
Veröffentlicht: (2024)

A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation
von: Xiong, Beibei, et al.
Veröffentlicht: (2025)

LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction
von: George, Robert Joseph, 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)

MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving
von: Wang, Ruida, et al.
Veröffentlicht: (2025)

Homotopy-Aware Multi-Agent Path Planning on Plane
von: Kasaura, Kazumi
Veröffentlicht: (2023)

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

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

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

Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving
von: Zimmer, Matthieu, et al.
Veröffentlicht: (2025)

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving
von: Wang, Ruida, 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)

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

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

Aristotle: IMO-level Automated Theorem Proving
von: Achim, Tudor, et al.
Veröffentlicht: (2025)

Integrating Large Language Models in Causal Discovery: A Statistical Causal Approach
von: Takayama, Masayuki, et al.
Veröffentlicht: (2024)

Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models
von: Cao, Chenrui, et al.
Veröffentlicht: (2025)

Mathesis: Towards Formal Theorem Proving from Natural Languages
von: Xuejun, Yu, et al.
Veröffentlicht: (2025)

Psychometric-Based Evaluation for Theorem Proving with Large Language Models
von: Zhang, Jianyu, et al.
Veröffentlicht: (2025)

Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation
von: Wu, Shaonan, et al.
Veröffentlicht: (2024)

Steering LLMs for Formal Theorem Proving
von: Kirtania, Shashank, et al.
Veröffentlicht: (2025)

Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
von: Ngouonou, Jovial Cheukam, et al.
Veröffentlicht: (2025)

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