Maciej Mikuła

1
Papers
57
Total Citations

Papers (1)

Magnushammer: A Transformer-Based Approach to Premise Selection

ICLR 2024
57
citations