普林斯顿大学电气与计算机工程副教授@chijinML Chi Jin专注于机器学习的决策基础：推进核心机器学习理论，同时将他的工作扩展到基于实证、可验证的人工智能系统。 他将在12月4日于圣地亚哥的@NeurIPSConf开放AGI研讨会上发言，演讲题目为“Goedel Prover V2：迄今为止最强大的开源定理证明器。”