Paper
Hub
学术助手
数据洞察
排行榜
搜索
Toggle language
影响力指数
论文质量、代表作、近期表现、广度与样本量置信度综合计算
4.19
/100
超过 13%
全站排名 #56,034
发表论文
2
篇
平均评分
4.0
年均产出
1.0
篇/年
AI 学术分析
Elizabeth Polgreen
Assistant Professor
@
University of Edinburgh, University of Edinburgh
·
英国
·
OpenReview
研究方向
Program synthesis · Formal synthesis · verification
发表论文(2 篇)
ICLR
NeurIPS
已接收
未接收
评分
2026
1 篇
2.0
5
ICLR 2026
withdrawn
2024
1 篇
6.0
12
NeurIPS 2024
Poster
合作者 (17)
合作网络
SS
Sanjit A. Seshia
2 篇
FM
Federico Mora
1 篇
GV
George Varghese
1 篇
HL
Haley Lepe
1 篇
JG
Joseph E. Gonzalez
1 篇
JW
Justin Wong
1 篇
KE
Karim Elmaaroufi
1 篇
SB
Sahil Bhatia
1 篇
查看全部 17 位合作者