Image de couverture de livre

Theorem Prover as a Judge for Synthetic Data Generation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Leang, Joshua Ong Jun, Hong, Giwon, Li, Wenda, Cohen, Shay B.
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Can I Have Your Order? Monte-Carlo Tree Search for Slot Filling Ordering in Diffusion Language Models
par: Leang, Joshua Ong Jun, et autres
Publié: (2026)

CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning
par: Leang, Joshua Ong Jun, et autres
Publié: (2024)

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

PiCSAR: Probabilistic Confidence Selection And Ranking for Reasoning Chains
par: Leang, Joshua Ong Jun, et autres
Publié: (2025)

Neural Theorem Proving for Verification Conditions: A Real-World Benchmark
par: Xu, Qiyuan, et autres
Publié: (2026)

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

Vibe Coding an LLM-powered Theorem Prover
par: Hou, Zhe
Publié: (2026)

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

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

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

Proof Recommendation System for the HOL4 Theorem Prover
par: Dekhil, Nour, et autres
Publié: (2024)

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

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

Avoiding Obfuscation with Prover-Estimator Debate
par: Brown-Cohen, Jonah, et autres
Publié: (2025)

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

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

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

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

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

Can Large Language Models Follow Concept Annotation Guidelines? A Case Study on Scientific and Financial Domains
par: Fonseca, Marcio, et autres
Publié: (2023)

Can Large Language Model Summarizers Adapt to Diverse Scientific Communication Goals?
par: Fonseca, Marcio, et autres
Publié: (2024)

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

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

SorryDB: Can AI Provers Complete Real-World Lean Theorems?
par: Letson, Austin, et autres
Publié: (2026)

Steamroller Problems: An Evaluation of LLM Reasoning Capability with Automated Theorem Prover Strategies
par: McGinness, Lachlan, et autres
Publié: (2024)

TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib?
par: Taylor, Alexander K, et autres
Publié: (2026)

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

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

Large Language Models Relearn Removed Concepts
par: Lo, Michelle, et autres
Publié: (2024)

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

Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications
par: Gamboa, Ruben, et autres
Publié: (2025)

Are We Done with MMLU?
par: Gema, Aryo Pradipta, et autres
Publié: (2024)

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

Think While You Write: Hypothesis Verification Promotes Faithful Knowledge-to-Text Generation
par: Qiu, Yifu, et autres
Publié: (2023)

Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover
par: Chung, Jui-Hui, et autres
Publié: (2026)

Generate, Evaluate, Iterate: Synthetic Data for Human-in-the-Loop Refinement of LLM Judges
par: Do, Hyo Jin, et autres
Publié: (2025)

`Keep it Together': Enforcing Cohesion in Extractive Summaries by Simulating Human Memory
par: Cardenas, Ronald, et autres
Publié: (2024)

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

Proving Theorems Recursively
par: Wang, Haiming, et autres
Publié: (2024)

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