Magnushammer: A Transformer-Based Approach to Premise Selection
Maciej Mikuła Szymon Antoniak Szymon Tworkowski Bartosz Piotrowski Albert Jiang Jin Peng Zhou Christian Szegedy Łukasz Kuciński Piotr Miłoś Yuhuai Wu