PaperHub
影响力指数
16.25/100
超过 49.1%
全站排名 #32,740
发表论文3 篇
平均评分4.9
年均产出1.5 篇/年
AI 学术分析

Kangping Xu

PhD student@Tsinghua University, Tsinghua University·中国·OpenReview
研究方向

Neural Theorem Proving · Automated Mathematical Reasoning

发表论文（3 篇）

合作者 (10)