Paper
Hub
学术助手
数据洞察
排行榜
搜索
Toggle language
影响力指数
论文质量、代表作、近期表现、广度与样本量置信度综合计算
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 篇)
ICLR
ICML
NeurIPS
已接收
未接收
评分
2026
2 篇
6.0
12
ICLR 2026
Poster
5.2
30
ICLR 2026
Poster
2025
3 篇
6.8
16
ICLR 2025
Rejected
二作
6.1
14
ICML 2025
Poster
二作
6.0
20
ICLR 2025
Poster
二作
2024
1 篇
5.7
14
NeurIPS 2024
Poster
二作
合作者 (20)
合作网络
BA
Bryon Aragam
博后导师
3 篇
RV
Robert A. Vandermeulen
3 篇
SX
SHEN XIN
2 篇
YX
Yu Xuejun
2 篇
ZF
Zijin Feng
2 篇
AS
Austen Jeremy Sugiarto
1 篇
CO
Claudia Beth Ong
1 篇
DL
Dongcai Lu
1 篇
查看全部 20 位合作者