PaperHub
影响力指数
13.21/100
超过 40.6%
全站排名 #38,237
发表论文1 篇
平均评分6.0
年均产出1.0 篇/年
AI 学术分析

Federico Mora

Assistant Professor@University of Waterloo·加拿大·OpenReview
研究方向

Automated Reasoning · Programming Languages · Formal Methods

发表论文（1 篇）

合作者 (8)