Lemma Mining over HOL Light

10 October 2013

Papers citing "Lemma Mining over HOL Light"

4 / 4 papers shown

Title
Peano: Learning Formal Mathematical Reasoning Gabriel Poesia Noah D. Goodman LRM 92 21 0 29 Nov 2022
JEFL: Joint Embedding of Formal Proof Libraries Qingxiang Wang C. Kaliszyk 51 0 0 21 Jul 2021
Learning-assisted Theorem Proving with Millions of Lemmas C. Kaliszyk Josef Urban 119 47 0 11 Feb 2014
HOL(y)Hammer: Online ATP Service for HOL Light C. Kaliszyk Josef Urban 114 95 0 19 Sep 2013