research
∙
03/08/2023
Magnushammer: A Transformer-based Approach to Premise Selection
Premise selection is a fundamental problem of automated theorem proving....
share
research
∙
11/24/2022
