作者位次 #7/8ICML 2026Spotlight· Applications / Language, Speech and Dialog
Position: The Case for Theory-Level Autoformalization
Marcus Min · Deyuan Mike He · Zhaoyu Li · Zixuan Yi · Sharad Malik · Aarti Gupta · Xujie Si · Osbert Bastani
首次获取该候选人的完整档案及 StartLux 评估共 20 积分;每位用户单独解锁,之后查看免费。主动刷新 20 积分。
实时查找电子邮箱,费用不超过20积分;未找到邮箱不扣费。
Marcus Min · Deyuan Mike He · Zhaoyu Li · Zixuan Yi · Sharad Malik · Aarti Gupta · Xujie Si · Osbert Bastani
Victor Barres · Honghua Dong · Soham Ray · Xujie Si · Karthik Narasimhan
Zhiyang Chen · Tara Saba · Xun Deng · Xujie Si · Fan Long