PaperHub
影响力指数
53.49/100
前 6.9%
全站排名 #4,464
发表论文6 篇
平均评分5.9
年均产出2.0 篇/年
AI 学术分析

Wai Ming Tai

Researcher@Huawei Technologies Ltd.·新加坡·OpenReview
研究方向

automated theorem proving

发表论文（6 篇）

合作者 (20)