Professeur associé en génie électrique et informatique à @Princeton, @chijinML Chi Jin concentre son travail sur les fondements de la prise de décision en apprentissage automatique : faire progresser la théorie fondamentale de l'IA tout en élargissant son travail vers des systèmes d'IA ancrés et vérifiables. Il prendra la parole lors du Symposium Open AGI à @NeurIPSConf le 4 décembre à San Diego, présentant "Goedel Prover V2 : Le plus puissant prouveur de théorèmes open-source à ce jour."