Bibliography (4):

  1. HTPS: HyperTree Proof Search for Neural Theorem Proving

  2. Generative Language Modeling for Automated Theorem Proving

  3. MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics