Szymon Antoniak

2
Papers
57
Total Citations

Papers (2)

Magnushammer: A Transformer-Based Approach to Premise Selection

ICLR 2024
57
citations

Scaling Laws for Fine-Grained Mixture of Experts

ICML 2024
0
citations