影响力指数
论文质量、代表作、近期表现、广度与样本量置信度综合计算
50.06/100
前 8.5%
全站排名 #5,499
发表论文10 篇
平均评分
年均产出3.3 篇/年
AI 学术分析
Haiming Wang
研究方向
Machine Learning For Automatic Theorem Proving · Natual Language Processing
Machine Learning For Automatic Theorem Proving · Natual Language Processing