Cover Image

Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chen, Jiangjie, Chen, Wenxiang, Du, Jiacheng, Hu, Jinyi, Jiang, Zhicheng, Jie, Allan, Jin, Xiaoran, Jin, Xing, Li, Chenggang, Shi, Wenlei, Wang, Zhihong, Wang, Mingxuan, Wei, Chenrui, Wei, Shufa, Xin, Huajian, Yang, Fan, Gao, Weihao, Yuan, Zheng, Zhan, Tianyang, Zheng, Zeyu, Zhou, Tianxi, Zhu, Thomas Hanwen
Format:	Preprint
Published:	2025
Subjects:	Computation and Language
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
by: Chen, Luoxin, et al.
Published: (2025)

DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
by: Xin, Huajian, et al.
Published: (2024)

Proving Olympiad Algebraic Inequalities without Human Demonstrations
by: Wei, Chenrui, et al.
Published: (2024)

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
by: Lin, Yong, et al.
Published: (2025)

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

Proving Properties of $φ$-Representations with the Walnut Theorem-Prover
by: Shallit, Jeffrey
Published: (2023)

PhysProver: Advancing Automatic Theorem Proving for Physics
by: Zhang, Hanning, et al.
Published: (2026)

InternLM2.5-StepProver: Advancing Automated Theorem Proving via Critic-Guided Search
by: Wu, Zijian, et al.
Published: (2024)

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

Spark-Prover-X1: Formal Theorem Proving Through Diverse Data Training
by: Zhou, Xinyuan, et al.
Published: (2025)

Proving Theorems Recursively
by: Wang, Haiming, et al.
Published: (2024)

STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving
by: Dong, Kefan, et al.
Published: (2025)

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

Flaming-hot Initiation with Regular Execution Sampling for Large Language Models
by: Chen, Weizhe, et al.
Published: (2024)

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
by: Lamont, Sean, et al.
Published: (2024)

HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
by: Hu, Jilin, et al.
Published: (2025)

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

APE-Bench: Evaluating Automated Proof Engineering for Formal Math Libraries
by: Xin, Huajian, et al.
Published: (2025)

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
by: Li, Jinzheng, et al.
Published: (2026)

EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving
by: Li, Mukai, et al.
Published: (2025)

OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving
by: Li, Chenyi, et al.
Published: (2026)

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

Proving Cypher Query Equivalence
by: Tang, Lei, et al.
Published: (2025)

Lyra: Orchestrating Dual Correction in Automated Theorem Proving
by: Zheng, Chuanyang, et al.
Published: (2023)

Heimdall: test-time scaling on the generative verification
by: Shi, Wenlei, et al.
Published: (2025)

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

ThinkDial: An Open Recipe for Controlling Reasoning Effort in Large Language Models
by: He, Qianyu, et al.
Published: (2025)

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

DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent
by: Zhang, Youyuan, et al.
Published: (2026)

Proving membership in LLM pretraining data via data watermarks
by: Wei, Johnny Tian-Zheng, et al.
Published: (2024)

Process Supervision-Guided Policy Optimization for Code Generation
by: Dai, Ning, et al.
Published: (2024)

FLEX: Continuous Agent Evolution via Forward Learning from Experience
by: Cai, Zhicheng, et al.
Published: (2025)

Nonlinear stability of continuously self-similar naked singularities for the Einstein-scalar field equations I: main results
by: Zheng, Weihao
Published: (2026)

Exponentially-growing Mode Instability on Reissner-Nordström--Anti-de-Sitter black holes
by: Zheng, Weihao
Published: (2024)

Asymptotically Anti-de Sitter Spherically Symmetric Hairy Black Holes
by: Zheng, Weihao
Published: (2024)

The Effectiveness of Technology‐Supported Learning in Improving Students' Digital Literacy—A Meta‐Analysis of 56 Experimental and Quasi‐Experimental Studies
by: Jin Wang, et al.
Published: (2025)

Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models
by: Cao, Chenrui, et al.
Published: (2025)

HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes
by: Jin, Xiangyu, et al.
Published: (2024)

LR-Robot: A Unified Supervised Intelligent Framework for Real-Time Systematic Literature Reviews with Large Language Models
by: Wei, Wei, et al.
Published: (2026)

Beyond Editing Pairs: Fine-Grained Instructional Image Editing via Multi-Scale Learnable Regions
by: Ma, Chenrui, et al.
Published: (2025)