Copertina

Mathesis: Towards Formal Theorem Proving from Natural Languages

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Xuejun, Yu, Zhong, Jianyuan, Feng, Zijin, Zhai, Pengyi, Yousefzadeh, Roozbeh, Ng, Wei Chong, Liu, Haoxiong, Shou, Ziyi, Xiong, Jing, Zhou, Yudong, Ong, Claudia Beth, Sugiarto, Austen Jeremy, Zhang, Yaoxi, Tai, Wai Ming, Cao, Huan, Lu, Dongcai, Sun, Jiacheng, Xu, Qiang, Xin, Shen, Li, Zhenguo
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

ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis
di: Liu, Haoxiong, et al.
Pubblicazione: (2025)

Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs
di: Yousefzadeh, Roozbeh, et al.
Pubblicazione: (2025)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
di: Ospanov, Azim, et al.
Pubblicazione: (2025)

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

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

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

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

LeanAgent: Lifelong Learning for Formal Theorem Proving
di: Kumarappan, Adarsh, et al.
Pubblicazione: (2024)

A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems
di: Yousefzadeh, Roozbeh, et al.
Pubblicazione: (2024)

miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward
di: Ospanov, Azim, et al.
Pubblicazione: (2025)

FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models
di: Uluşan, Zeynel A., et al.
Pubblicazione: (2026)

OProver: A Unified Framework for Agentic Formal Theorem Proving
di: Ma, David, et al.
Pubblicazione: (2026)

Formal Theorem Proving by Rewarding LLMs to Decompose Proofs Hierarchically
di: Dong, Kefan, et al.
Pubblicazione: (2024)

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
di: Rao, Balaji, et al.
Pubblicazione: (2025)

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving
di: Wang, Ruida, et al.
Pubblicazione: (2025)

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

ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization
di: Cabral, Rafael, et al.
Pubblicazione: (2025)

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

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

Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4
di: Tang, Xichen
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)

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
di: Lin, Xiaohan, et al.
Pubblicazione: (2024)

Neural Theorem Proving for Verification Conditions: A Real-World Benchmark
di: Xu, Qiyuan, et al.
Pubblicazione: (2026)

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

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

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
di: Florath, Andreas
Pubblicazione: (2024)

Strong Szegő Limit Theorems for Multi-Bordered, Framed, and Multi-Framed Toeplitz Determinants
di: Gharakhloo, Roozbeh
Pubblicazione: (2023)

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

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

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

Benchmarking Testing in Automated Theorem Proving
di: Kim, Jongyoon, et al.
Pubblicazione: (2026)

Automated Theorem Proving for Prolog Verification
di: Mesnard, Fred, et al.
Pubblicazione: (2026)

Canonical for Automated Theorem Proving in Lean
di: Norman, Chase, et al.
Pubblicazione: (2025)

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

Twitch: Learning Abstractions for Equational Theorem Proving
di: Axelrod, Guy, et al.
Pubblicazione: (2026)

Partial Label Learning for Automated Theorem Proving
di: Zombori, Zsolt, et al.
Pubblicazione: (2025)

Distilling LLM Feedback for Lean Theorem Proving
di: Narozniak, Gaetan, et al.
Pubblicazione: (2026)

A Minimal Agent for Automated Theorem Proving
di: Requena, Borja, et al.
Pubblicazione: (2026)

A Survey on Deep Learning for Theorem Proving
di: Li, Zhaoyu, et al.
Pubblicazione: (2024)