Maciej Mikuła

~Maciej_Mikuła1

1

论文总数

1.0

年均投稿

8.0

平均评分

接收情况1/1

会议分布

ICLR

1

发表论文 (1 篇)

20241 篇

Magnushammer: A Transformer-Based Approach to Premise Selection

ICLR 2024Poster

合作者 (9)

Albert Q. Jiang1 篇

Bartosz Piotrowski1 篇

Christian Szegedy1 篇

Jin Peng Zhou1 篇

Łukasz Kuciński1 篇

Piotr Miłoś1 篇

Szymon Antoniak1 篇

Szymon Tworkowski1 篇