Førsteamanuensis i elektroteknikk og datateknikk ved @Princeton, @chijinML Chi Jin, fokuserer sitt arbeid på beslutningsgrunnlaget for maskinlæring: å fremme kjerneteorien i ML, samtidig som han utvider arbeidet sitt mot forankrede, verifiserbare AI-systemer. Han skal holde foredrag på Open AGI Symposium i @NeurIPSConf 4. desember i San Diego, hvor han presenterer «Goedel Prover V2: The Strongest Open-Source Theorem Prover to Hit».