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