conftrace_

proof synthesis

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

neural theorem prover (2) llms (1) fine-grained structure analysis (1) isabelle proof assistant (1) recursive proving module (1) proof assistant (1) large language model (1) formal verification (1) theorem proving (1)

Papers

ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis ICML 2025 Autoformalization with Large Language Models NeurIPS 2022