影响力指数
论文质量、代表作、近期表现、广度与样本量置信度综合计算
29.3/100
前 25.2%
全站排名 #16,242
发表论文4 篇
平均评分
年均产出2.0 篇/年
AI 学术分析
ThanhVu Nguyen
研究方向
formal methods · neural network verification · formal reasoning · software engineering
formal methods · neural network verification · formal reasoning · software engineering