Magnushammer: A Transformer-based Approach to Premise Selection
Published in arxiv, 2023
What Christian had | What I heard
— Albert Jiang (@AlbertQJiang) March 9, 2023
in mind when he |
suggested the name | https://t.co/Ac7RExnCV9 pic.twitter.com/sVIMiKRafI