PaperHub
影响力指数
16.77/100
前 49.6%
全站排名 #31,900
发表论文2 篇
平均评分6.3
年均产出2.0 篇/年
AI 学术分析

Marco Dos Santos

PhD student@University of Cambridge·英国·OpenReview
研究方向

language models · theorem proving · automated theorem proving

发表论文（2 篇）

合作者 (9)