conftrace_

informal proof

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (1) proof sketch (1) automated theorem proving (1) mathematical reasoning (1)

Papers

Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs ICLR 2023