Zhangir Azerbayev

~Zhangir_Azerbayev1

3

论文总数

3.0

年均投稿

5.7

平均评分

接收情况2/3

会议分布

ICLR

3

发表论文 (3 篇)

20243 篇

ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics

ICLR 2024Rejected

Llemma: An Open Language Model for Mathematics

ICLR 2024Poster

OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text

ICLR 2024Poster

合作者 (12)

Hailey Schoelkopf2 篇

Keiran Paster2 篇

Marco Dos Santos2 篇

Albert Q. Jiang1 篇

Sean Welleck1 篇

Stella Biderman1 篇

Stephen Marcus McAleer1 篇