影响力指数
论文质量、代表作、近期表现、广度与样本量置信度综合计算
-/100
发表论文2 篇
平均评分
年均产出2.0 篇/年
AI 学术分析
Junqi Liu
PhD student@Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Chinese Academy of Sciences·中国·OpenReview
研究方向
Formalized Mathematics · Neural theorem proving