Login / Signup
Maciej Mikula
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Computer Science
Selection Criteria
Fuzzy Logic
Top Venues
CoRR
</>
Publications
</>
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)