Scott Viteri

PhD student@Stanford University·美国·OpenReview

研究方向

AI Alignment · Machine Learning · Interactive Theorem Proving

发表论文（1 篇）

合作者 (3)