conftrace_

proof sketch

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (2) proof verification (1) proof construction (1) explanation refinement (1) informal proof (1) theorem prover (1) automated theorem proving (1) formal verification (1) natural language inference (1) theorem proving (1)

Papers

Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations ACL 2025 Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs ICLR 2023