Bartosz Piotrowski

~Bartosz_Piotrowski1

3

论文总数

3.0

年均投稿

6.3

平均评分

接收情况2/3

会议分布

ICLR

2

NeurIPS

1

发表论文 (3 篇)

20243 篇

ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics

ICLR 2024Rejected

Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe

NeurIPS 2024Poster

Magnushammer: A Transformer-Based Approach to Premise Selection

ICLR 2024Poster

合作者 (16)

Albert Q. Jiang2 篇

Piotr Miłoś2 篇

Alicja Ziarko1 篇

Mateja Jamnik1 篇

Christian Szegedy1 篇

Jin Peng Zhou1 篇

Łukasz Kuciński1 篇