Magnushammer: A Transformer-based Approach to Premise Selection#Mathematics#Machine Learning#Paper#PDF·arxiv.org·Mar 20, 2023Magnushammer: A Transformer-based Approach to Premise Selection