Biträdande professor i elektroteknik och datateknik vid @Princeton, @chijinML Chi Jin, fokuserar sitt arbete på beslutsgrunderna för maskininlärning: att utveckla kärnteorin inom ML samtidigt som han utvidgar sitt arbete mot grundade, verifierbara AI-system. Han kommer att tala vid Open AGI Symposium i @NeurIPSConf den 4 december i San Diego, där han presenterar "Goedel Prover V2: The Strongest Open-Source Theorem Prover to Hit."