Buchumschlag

OProver: A Unified Framework for Agentic Formal Theorem Proving

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ma, David, Ma, Kaijing, Guo, Shawn, Shi, Yunfeng, Zhao, Enduo, Shi, Jiajun, Zhang, Zhaoxiang, Cheung, Gavin, Liu, Jiaheng, Wang, Zili
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Computation and Language Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Steering LLMs for Formal Theorem Proving
von: Kirtania, Shashank, et al.
Veröffentlicht: (2025)

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
von: Liu, Qi, et al.
Veröffentlicht: (2025)

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
von: Liu, Chengwu, et al.
Veröffentlicht: (2026)

An In-Context Learning Agent for Formal Theorem-Proving
von: Thakur, Amitayush, et al.
Veröffentlicht: (2023)

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
von: Chen, Luoxin, et al.
Veröffentlicht: (2025)

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
von: Lin, Xiaohan, et al.
Veröffentlicht: (2024)

Learning to Reason with Insight for Informal Theorem Proving
von: Li, Yunhe, et al.
Veröffentlicht: (2026)

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
von: Cao, Chuxue, et al.
Veröffentlicht: (2025)

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
von: Rao, Balaji, et al.
Veröffentlicht: (2025)

MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving
von: Wang, Ruida, et al.
Veröffentlicht: (2025)

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

Aristotle: IMO-level Automated Theorem Proving
von: Achim, Tudor, et al.
Veröffentlicht: (2025)

Mechanic: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving
von: Qiu, Ruichen, et al.
Veröffentlicht: (2026)

RLMEval: Evaluating Research-Level Neural Theorem Proving
von: Poiroux, Auguste, et al.
Veröffentlicht: (2025)

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

Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
von: Zhang, Terry Jingchen, et al.
Veröffentlicht: (2025)

DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning
von: Zhang, Ziyin, et al.
Veröffentlicht: (2025)

Agentic Proving for Program Verification
von: Sosso, Alessandro, et al.
Veröffentlicht: (2026)

Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations
von: Quan, Xin, et al.
Veröffentlicht: (2025)

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

miniCTX: Neural Theorem Proving with (Long-)Contexts
von: Hu, Jiewen, et al.
Veröffentlicht: (2024)

AgenticMath: Enhancing LLM Reasoning via Agentic-based Math Data Generation
von: Liu, Xianyang, et al.
Veröffentlicht: (2025)

EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving
von: Li, Mukai, et al.
Veröffentlicht: (2025)

SubgoalXL: Subgoal-based Expert Learning for Theorem Proving
von: Zhao, Xueliang, et al.
Veröffentlicht: (2024)

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
von: Thakur, Amitayush, et al.
Veröffentlicht: (2025)

BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
von: Petrov, Ivo, et al.
Veröffentlicht: (2025)

LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning
von: Wang, Jianing, et al.
Veröffentlicht: (2026)

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

Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities
von: Zhao, Haoyu, et al.
Veröffentlicht: (2025)

QED-Nano: Teaching a Tiny Model to Prove Hard Theorems
von: LM-Provers, et al.
Veröffentlicht: (2026)

Spark-Prover-X1: Formal Theorem Proving Through Diverse Data Training
von: Zhou, Xinyuan, et al.
Veröffentlicht: (2025)

From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
von: Cao, Jialun, et al.
Veröffentlicht: (2025)

What are the Right Symmetries for Formal Theorem Proving?
von: Olejniczak, Krzysztof, et al.
Veröffentlicht: (2026)

Mathesis: Towards Formal Theorem Proving from Natural Languages
von: Xuejun, Yu, et al.
Veröffentlicht: (2025)

Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4
von: Tang, Xichen
Veröffentlicht: (2024)

FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models
von: Uluşan, Zeynel A., 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)

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
von: Peng, Zhongyuan, et al.
Veröffentlicht: (2025)

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

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