Copertina

EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Tian, Yuchen, Huang, Ruiyuan, Wang, Xuanwu, Ma, Jing, Huang, Zengfeng, Luo, Ziyang, Lin, Hongzhan, Zheng, Da, Du, Lun
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

What are the Right Symmetries for Formal Theorem Proving?
di: Olejniczak, Krzysztof, et al.
Pubblicazione: (2026)

High Probability Bound for Cross-Learning Contextual Bandits with Unknown Context Distributions
di: Huang, Ruiyuan, et al.
Pubblicazione: (2024)

Nearly Tight Bounds for Cross-Learning Contextual Bandits with Graphical Feedback
di: Huang, Ruiyuan, et al.
Pubblicazione: (2025)

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

AMR-Evol: Adaptive Modular Response Evolution Elicits Better Knowledge Distillation for Large Language Models in Code Generation
di: Luo, Ziyang, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

Formalizing Automated Market Makers in the Lean 4 Theorem Prover
di: Pusceddu, Daniele, et al.
Pubblicazione: (2024)

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

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

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

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

MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
di: Li, Sirui, et al.
Pubblicazione: (2025)

Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs
di: Li, Guchan, et al.
Pubblicazione: (2026)

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

AmbiGraph-Eval: Can LLMs Effectively Handle Ambiguous Graph Queries?
di: Tian, Yuchen, et al.
Pubblicazione: (2025)

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

Few Batches or Little Memory, But Not Both: Simultaneous Space and Adaptivity Constraints in Stochastic Bandits
di: Huang, Ruiyuan, et al.
Pubblicazione: (2026)

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

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

Quantum Entropy Prover
di: Huang, Shao-Lun, et al.
Pubblicazione: (2025)

Mechanic: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving
di: Qiu, Ruichen, et al.
Pubblicazione: (2026)

Steering LLMs for Formal Theorem Proving
di: Kirtania, Shashank, et al.
Pubblicazione: (2025)

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
di: Liu, Qi, et al.
Pubblicazione: (2025)

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

ScreenSpot-Pro: GUI Grounding for Professional High-Resolution Computer Use
di: Li, Kaixin, et al.
Pubblicazione: (2025)

Steamroller Problems: An Evaluation of LLM Reasoning Capability with Automated Theorem Prover Strategies
di: McGinness, Lachlan, et al.
Pubblicazione: (2024)

Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
di: Chen, Jiangjie, et al.
Pubblicazione: (2025)

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

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

Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4
di: Tang, Xichen
Pubblicazione: (2024)

An In-Context Learning Agent for Formal Theorem-Proving
di: Thakur, Amitayush, et al.
Pubblicazione: (2023)

MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?
di: He, Zhitao, et al.
Pubblicazione: (2025)

Proving Theorems Recursively
di: Wang, Haiming, et al.
Pubblicazione: (2024)