影响力指数
3.03/100
超过 9%
全站排名 #58,559
发表论文2
平均评分5.3
年均产出2.0 篇/年
AI 学术分析

Kenneth McMillan

Full Professor@University of Texas, Austin·美国·OpenReview
研究方向

explainable AI · formal verification