Magnushammer: A Transformer-based Approach to Premise Selection. - Maciej Mikula; Szymon Antoniak; Szymon Tworkowski; Albert Qiaochu Jiang; Jin Peng Zhou; Christian Szegedy; Lukasz Kucinski; Piotr Milos; Yuhuai Wu (CoRR, 2023)

Magnushammer: A Transformer-Based Approach to Premise Selection. - Maciej Mikula; Szymon Tworkowski; Szymon Antoniak; Bartosz Piotrowski; Albert Q. Jiang; Jin Peng Zhou; Christian Szegedy; Lukasz Kucinski; Piotr Milos; Yuhuai Wu (ICLR, 2024)