ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2501.18310
  4. Cited By
ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis
v1v2 (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
ArXiv (abs)PDFHTML

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
Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving
Kuo Zhou
Lu Zhang
LRM
79
0
0
27 May 2025
MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation
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
Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
Balaji Rao
William Eiers
Carlo Lipizzi
141
0
0
23 Apr 2025
1