影响力指数
43.92/100
前 11.7%
全站排名 #7,516
发表论文5
平均评分5.9
年均产出2.5 篇/年
AI 学术分析

Marco Sälzer

Postdoc@Rheinland-Pfälzische Technische Universität·德国·OpenReview
研究方向

machine learning · verification · interpretability · graph neural network · expressivity · complexity · transformers · logic · model checking