Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2501.18310
Cited By
v1
v2 (latest)
ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis
30 January 2025
Haoxiong Liu
Jiacheng Sun
Zechao Li
Andrew Chi-Chih Yao
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis"
3 / 3 papers shown
Title
Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving
Kuo Zhou
Lu Zhang
LRM
77
0
0
27 May 2025
MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation
Zhenwen Liang
Linfeng Song
Yang Li
Tao Yang
Feng Zhang
Haitao Mi
Dong Yu
LRM
130
2
0
16 May 2025
Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
Balaji Rao
William Eiers
Carlo Lipizzi
141
0
0
23 Apr 2025
1
