Maciej Mikula

According to our database, Maciej Mikula authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Magnushammer: A Transformer-based Approach to Premise Selection.

Maciej Mikula, Szymon Antoniak, Szymon Tworkowski, Albert Qiaochu Jiang, Jin Peng Zhou, Christian Szegedy, Lukasz Kucinski, Piotr Milos, Yuhuai Wu

CoRR, 2023