Maciej Mikuła

Research Engineer, Google DeepMind

Joined

January 2023

Names

Maciej Mikuła (Preferred)

Emails

****@gmail.com (Confirmed)

Personal Links

Career & Education History

Research Engineer

Google DeepMind (google.com)

2022 – Present

MS student

University of Warsaw (uw.edu.pl)

2020 – 2022

Advisors, Relations & Conflicts

No relations added

Expertise

Deep Learning

Present

Publications

Magnushammer: A Transformer-Based Approach to Premise Selection
Maciej Mikuła, Szymon Antoniak, Szymon Tworkowski, Bartosz Piotrowski, Albert Jiang, Jin Peng Zhou, Christian Szegedy, Łukasz Kuciński, Piotr Miłoś, Yuhuai Wu
- MATH-AI 23 Poster
- Readers: Everyone
Magnushammer: A Transformer-Based Approach to Premise Selection
Maciej Mikuła, Szymon Tworkowski, Szymon Antoniak, Bartosz Piotrowski, Albert Q. Jiang, Jin Peng Zhou, Christian Szegedy, Łukasz Kuciński, Piotr Miłoś, Yuhuai Wu
- ICLR 2024 poster
- Readers: Everyone
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
- Published: 01 Jan 2023, Last Modified: 14 May 2023
- CoRR 2023
- Readers: Everyone

Co-Authors