@misc{indiciae4c25c7e2c263,
  title = {Magnushammer: A Transformer-Based Approach to Premise Selection},
  author = {Maciej Mikuła and Szymon Tworkowski and Szymon Antoniak and Bartosz Piotrowski and Albert Qiaochu Jiang and Jin Peng Zhou and Christian Szegedy and Łukasz Kuciński and Piotr Miłoś and Yuhuai Wu},
  year = {2024},
  url = {https://arxiv.org/abs/2303.04488},
  note = {Source identifier: 2303.04488}
}