Professore Associato di Ingegneria Elettrica e Informatica presso @Princeton, @chijinML Chi Jin concentra il suo lavoro sulle basi decisionali dell'apprendimento automatico: avanzare la teoria fondamentale dell'IA mentre espande il suo lavoro verso sistemi di IA fondati e verificabili. Parlerà al Simposio Open AGI presso @NeurIPSConf il 4 dicembre a San Diego, presentando “Goedel Prover V2: Il più potente dimostratore di teoremi open-source fino ad oggi.”