NOTE: This site has just upgraded to Forester 5.x and is still having some style and functionality issues, we will fix them ASAP.

reference. Magnushammer: A transformer-based approach to premise selection [mikula2023magnushammer]
✍️source

  • 2023
  • Maciej Mikuła, Szymon Antoniak, Szymon Tworkowski, Albert Qiaochu Jiang, Jin Peng Zhou, Christian Szegedy, Łukasz Kuciński, Piotr Miłoś, Yuhuai Wu
@article{mikula2023magnushammer,
 title = {Magnushammer: A transformer-based approach to premise selection},
 author = {Miku{\l}a, Maciej and Antoniak, Szymon and Tworkowski, Szymon and Jiang, Albert Qiaochu and Zhou, Jin Peng and Szegedy, Christian and Kuci{\'n}ski, {\L}ukasz and Mi{\l}o{\'s}, Piotr and Wu, Yuhuai},
 year = {2023},
 journal = {arXiv preprint arXiv:2303.04488}
}