@Princeton大学電気・コンピュータ工学准教授の@chijinML チー・ジンは、機械学習の意思決定の基盤に焦点を当てており、ML理論の基礎を発展させつつ、基盤的で検証可能なAIシステムへと研究を拡大しています。 彼は12月4日にサンディエゴで開催されるOpen AGIシンポジウム(@NeurIPSConf)で「Goedel Prover V2: The Strongest Open-Source Theorem Prover to Rested」というテーマで講演します。