conftrace_

fine-grained structure analysis

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

isabelle proof assistant (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