PaperHub
影响力指数
3.37/100
超过 10%
全站排名 #57,938
发表论文1 篇
平均评分4.4
年均产出1.0 篇/年
AI 学术分析

Cruise Song

PhD student@Georgia Institute of Technology·美国·OpenReview
研究方向

Interactive Theorem Proving · Formalized Mathematics · Automated Reasoning · Formal Methods

发表论文（1 篇）

合作者 (5)