TY  - RPRT
TI  - Magnushammer: A Transformer-Based Approach to Premise Selection
AU  - Maciej Mikuła
AU  - Szymon Tworkowski
AU  - Szymon Antoniak
AU  - Bartosz Piotrowski
AU  - Albert Qiaochu Jiang
AU  - Jin Peng Zhou
AU  - Christian Szegedy
AU  - Łukasz Kuciński
AU  - Piotr Miłoś
AU  - Yuhuai Wu
PY  - 2024
UR  - https://arxiv.org/abs/2303.04488
ID  - 2303.04488
ER  -