conftrace_

isabelle proof assistant

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

fine-grained structure analysis (1) recursive proving module (1) llms (1) proof synthesis (1) neural theorem prover (1)

Papers

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