OpenReview.net
  • Login

Maciej Mikuła

Research Engineer, Google DeepMind

  • Joined January 2023

Names

Maciej Mikuła (Preferred)
  • Suggest Name

Emails

****@gmail.com (Confirmed)
  • Suggest Email

Personal Links

LinkedIn
  • Suggest URL

Career & Education History

Research Engineer
Google DeepMind (google.com)
2022 – Present
 
MS student
University of Warsaw (uw.edu.pl)
2020 – 2022
 
  • Suggest Position

Advisors, Relations & Conflicts

No relations added

  • Suggest Relation

Expertise

Deep Learning
Present
 
  • Suggest Expertise

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

  • Albert Jiang
  • Albert Q. Jiang
  • Albert Qiaochu Jiang
  • Bartosz Piotrowski
  • Christian Szegedy
  • Jin Peng Zhou
  • Lukasz Kucinski
  • Piotr Milos
  • Piotr Miłoś
  • Szymon Antoniak
  • Szymon Tworkowski
  • Yuhuai Wu
  • Łukasz Kuciński
  • About OpenReview
  • Hosting a Venue
  • All Venues
  • Contact
  • Sponsors
  • Donate
  • Frequently Asked Questions
  • Terms of Use
  • Privacy Policy
  • About OpenReview
  • Hosting a Venue
  • All Venues
  • Sponsors
  • Frequently Asked Questions
  • Contact
  • Donate
  • Terms of Use
  • Privacy Policy

OpenReview is a long-term project to advance science through improved peer review with legal nonprofit status. We gratefully acknowledge the support of the OpenReview Sponsors. © 2025 OpenReview