Buchumschlag

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Chen, Luoxin, Gu, Jinming, Huang, Liankai, Huang, Wenhao, Jiang, Zhicheng, Jie, Allan, Jin, Xiaoran, Jin, Xing, Li, Chenggang, Ma, Kaijing, Ren, Cheng, Shen, Jiawei, Shi, Wenlei, Sun, Tong, Sun, He, Wang, Jiahui, Wang, Siran, Wang, Zhihong, Wei, Chenrui, Wei, Shufa, Wu, Yonghui, Wu, Yuchen, Xia, Yihang, Xin, Huajian, Yang, Fan, Ying, Huaiyuan, Yuan, Hongyi, Yuan, Zheng, Zhan, Tianyang, Zhang, Chi, Zhang, Yue, Zhang, Ge, Zhao, Tianyun, Zhao, Jianqiu, Zhou, Yichi, Zhu, Thomas Hanwen
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence Computation and Language
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

Proving Olympiad Algebraic Inequalities without Human Demonstrations
von: Wei, Chenrui, et al.
Veröffentlicht: (2024)

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

Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries
von: Chen, Luoxin, et al.
Veröffentlicht: (2026)

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

Solving Formal Math Problems by Decomposition and Iterative Reflection
von: Zhou, Yichi, et al.
Veröffentlicht: (2025)

Spark-Prover-X1: Formal Theorem Proving Through Diverse Data Training
von: Zhou, Xinyuan, 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)

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

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
von: Lin, Yong, 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)

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

A Tool for Semantic-Aware Spatial Corpus Construction
von: Huang, Wei, et al.
Veröffentlicht: (2026)

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

DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent
von: Zhang, Youyuan, et al.
Veröffentlicht: (2026)

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

Can high‐power lasers photobiomodulation therapy alleviate the pain of refractory oral mucositis?
von: Qian Wang, et al.
Veröffentlicht: (2024)

Photobiomodulation relieves immediate pain in patients with burning mouth syndrome
von: Qian Wang, et al.
Veröffentlicht: (2024)

REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
von: Shen, Ziju, et al.
Veröffentlicht: (2025)

OProver: A Unified Framework for Agentic Formal Theorem Proving
von: Ma, David, et al.
Veröffentlicht: (2026)

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

Comment on “Impact of Topical Fluocinonide on Oral Lichen Planus Evolution: Randomized Controlled Clinical Trial”
von: Jianqiu Jin
Veröffentlicht: (2025)

Difficulties in the treatment of oral mucositis caused by chemotherapy in children with malignant hematological diseases using high‐power laser
von: Jianqiu Jin
Veröffentlicht: (2024)

AdamS: Momentum Itself Can Be A Normalizer for LLM Pretraining and Post-training
von: Zhang, Huishuai, et al.
Veröffentlicht: (2025)

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

1+1>2: Can Large Language Models Serve as Cross-Lingual Knowledge Aggregators?
von: Huang, Yue, et al.
Veröffentlicht: (2024)

Local-peak scale-invariant feature transform for fast and random image stitching
von: Li, Hao, et al.
Veröffentlicht: (2024)

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

Organocatalytic Atroposelective Synthesis of Axially Chiral Indolyl Ketosulfoxonium Ylides
von: Ji‐Wei Zhang, et al.
Veröffentlicht: (2024)

Organocatalytic Atroposelective Synthesis of Axially Chiral Indolyl Ketosulfoxonium Ylides
von: Ji‐Wei Zhang, et al.
Veröffentlicht: (2024)

SemiSAM: Enhancing Semi-Supervised Medical Image Segmentation via SAM-Assisted Consistency Regularization
von: Zhang, Yichi, et al.
Veröffentlicht: (2023)

Proving Cypher Query Equivalence
von: Tang, Lei, et al.
Veröffentlicht: (2025)

Lyra: Orchestrating Dual Correction in Automated Theorem Proving
von: Zheng, Chuanyang, et al.
Veröffentlicht: (2023)

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

VARTS: A Tool for the Visualization and Analysis of Representative Time Series Data
von: Jin, Duosi, et al.
Veröffentlicht: (2026)

TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib?
von: Taylor, Alexander K, et al.
Veröffentlicht: (2026)

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

DeceptionBench: A Comprehensive Benchmark for AI Deception Behaviors in Real-world Scenarios
von: Huang, Yao, et al.
Veröffentlicht: (2025)

AnomalyAID: Reliable Interpretation for Semi-supervised Network Anomaly Detection
von: Yuan, Yachao, et al.
Veröffentlicht: (2024)