Jia LI

~Jia_LI18

1

论文总数

1.0

年均投稿

7.0

平均评分

接收情况1/1

会议分布

COLM

1

发表论文 (1 篇)

20251 篇

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving

COLM 2025Poster

合作者 (10)

Danqi Chen1 篇

Hongzhou Lin1 篇

Kaiyu Yang1 篇

Mengzhou Xia1 篇

Sanjeev Arora1 篇