Image de couverture de livre

Spark-Prover-X1: Formal Theorem Proving Through Diverse Data Training

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zhou, Xinyuan, Lei, Yi, Zhou, Xiaoyu, Sun, Jingyi, Zhu, Yu, Ye, Zhongyi, Zhang, Weitai, Liu, Quan, Wei, Si, Liu, Cong
Format:	Preprint
Publié:	2025
Sujets:	Computation and Language
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving
par: Li, Chenyi, et autres
Publié: (2026)

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

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

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

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
par: Lamont, Sean, et autres
Publié: (2024)

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

EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty
par: Tian, Yuchen, et autres
Publié: (2025)

Proving Properties of $φ$-Representations with the Walnut Theorem-Prover
par: Shallit, Jeffrey
Publié: (2023)

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

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

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
par: Li, Jinzheng, et autres
Publié: (2026)

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

STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving
par: Dong, Kefan, et autres
Publié: (2025)

EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving
par: Li, Mukai, et autres
Publié: (2025)

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

HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
par: Hu, Jilin, et autres
Publié: (2025)

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

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

Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
par: Chen, Jiangjie, et autres
Publié: (2025)

InternLM2.5-StepProver: Advancing Automated Theorem Proving via Critic-Guided Search
par: Wu, Zijian, et autres
Publié: (2024)

Steering LLMs for Formal Theorem Proving
par: Kirtania, Shashank, et autres
Publié: (2025)

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

Formalizing Automated Market Makers in the Lean 4 Theorem Prover
par: Pusceddu, Daniele, et autres
Publié: (2024)

Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs
par: Li, Guchan, et autres
Publié: (2026)

Leanabell-Prover: Posttraining Scaling in Formal Reasoning
par: Zhang, Jingyuan, et autres
Publié: (2025)

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers
par: Zhang, Manqing, et autres
Publié: (2026)

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

What are the Right Symmetries for Formal Theorem Proving?
par: Olejniczak, Krzysztof, et autres
Publié: (2026)

An In-Context Learning Agent for Formal Theorem-Proving
par: Thakur, Amitayush, et autres
Publié: (2023)

Inference-Time Diversity in RL-Trained Lean Theorem Provers: A Diagnostic Study
par: Burton, Zachary
Publié: (2026)

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

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
par: Liu, Qi, et autres
Publié: (2025)

Mechanic: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving
par: Qiu, Ruichen, et autres
Publié: (2026)

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

FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models
par: Uluşan, Zeynel A., et autres
Publié: (2026)

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
par: Florath, Andreas
Publié: (2024)

Formal Theorem Proving by Rewarding LLMs to Decompose Proofs Hierarchically
par: Dong, Kefan, et autres
Publié: (2024)

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
par: Rao, Balaji, et autres
Publié: (2025)

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

A Survey on Deep Learning for Theorem Proving
par: Li, Zhaoyu, et autres
Publié: (2024)