Paper
Hub
搜索
Toggle language
Jia LI
~Jia_LI18
1
论文总数
1.0
年均投稿
7.0
平均评分
接收情况
1
/
1
会议分布
COLM
1
发表论文 (1 篇)
2025
1 篇
7.0
4
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
COLM 2025
Poster
合作者 (10)
BL
Bohan Lyu
1 篇
CJ
Chi Jin
1 篇
DC
Danqi Chen
1 篇
HL
Hongzhou Lin
1 篇
JW
Jiayun Wu
1 篇
KY
Kaiyu Yang
1 篇
MX
Mengzhou Xia
1 篇
SA
Sanjeev Arora
1 篇
查看全部 10 位合作者