@Princeton:n sähkö- ja tietotekniikan apulaisprofessori @chijinML Chi Jin keskittyy koneoppimisen päätöksenteon perusteisiin: ydinkoneoppimisen ydinteorian edistämiseen samalla kun hän laajentaa työtään kohti maanläheisiä, todennettavia tekoälyjärjestelmiä. Hän puhuu Open AGI Symposiumissa @NeurIPSConf 4. joulukuuta San Diegossa esittelemässä "Goedel Prover V2: The Strongest Open Source Theorem Proven to Date."