Extending Zarathustra Goertzel and Josef Urban's work on "lemma usefulness" in E [1], presented at the 4th Conference on Artificial Intelligence and Theorem Proving (AITP 2019).
[1] http://aitp-conference.org/2019/abstract/AITP_2019_paper_32.pdf
Extending Zarathustra Goertzel and Josef Urban's work on "lemma usefulness" in E [1], presented at the 4th Conference on Artificial Intelligence and Theorem Proving (AITP 2019).
[1] http://aitp-conference.org/2019/abstract/AITP_2019_paper_32.pdf