Machine-Learned Premise Selection for Lean.

Bartosz Piotrowski, Ramon Fernndez Mir, Edward W. Ayers

Browse the full TABLEAUX paper archive.