Paper
Hub
搜索
Toggle language
Logan Murphy
~Logan_Murphy1
1
论文总数
1.0
年均投稿
8.0
平均评分
接收情况
1
/
1
会议分布
COLM
1
发表论文 (1 篇)
2024
1 篇
8.0
4
A Survey on Deep Learning for Theorem Proving
COLM 2024
Poster
合作者 (7)
JS
Jialiang Sun
1 篇
KY
Kaiyu Yang
1 篇
QS
Qidong Su
1 篇
XZ
Xian Zhang
1 篇
XS
Xujie Si
1 篇
ZL
Zenan Li
1 篇
ZL
Zhaoyu Li
1 篇