conftrace_

recursive proving module

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

fine-grained structure analysis (1) isabelle proof assistant (1) llms (1) proof synthesis (1) neural theorem prover (1)

Papers

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