Login / Signup
Maciej Mikula
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Databases
Control System
Selection Criteria
Cooperative
Top Venues
CoRR
ICLR
</>
Publications
</>
Maciej Mikula
,
Szymon Tworkowski
,
Szymon Antoniak
,
Bartosz Piotrowski
,
Albert Q. Jiang
,
Jin Peng Zhou
,
Christian Szegedy
,
Lukasz Kucinski
,
Piotr Milos
,
Yuhuai Wu
Magnushammer: A Transformer-Based Approach to Premise Selection.
ICLR
(2024)
Maciej Mikula
,
Szymon Antoniak
,
Szymon Tworkowski
,
Albert Qiaochu Jiang
,
Jin Peng Zhou
,
Christian Szegedy
,
Lukasz Kucinski
,
Piotr Milos
,
Yuhuai Wu
Magnushammer: A Transformer-based Approach to Premise Selection.
CoRR
(2023)