Skip to content
conftrace_
2025 ICML ICML 2025

ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis

Abstract

No abstract available. No abstract was captured for this paper when its proceedings were scraped - most often an older edition published without one online. How the corpus is built.

Authors

Haoxiong Liu, Jiacheng Sun, Zhenguo Li, Andrew C Yao

Topics

Machine Learning > Application Areas > Efficient Computing Artificial Intelligence > Core AI > Reasoning Deep Learning > Models > Large Language Models

Keywords

neural theorem prover proof synthesis llms fine-grained structure analysis isabelle proof assistant recursive proving module
Download PDF