Associate Professor of Electrical and Computer Engineering di @Princeton, @chijinML Chi Jin memusatkan karyanya pada fondasi pengambilan keputusan pembelajaran mesin: memajukan teori ML inti sambil memperluas pekerjaannya menuju sistem AI yang membumi dan dapat diverifikasi. Dia akan berbicara di Open AGI Symposium di @NeurIPSConf pada 4 Desember di San Diego, mempresentasikan "Goedel Prover V2: The Strongest Open-Source Theorem Prover to Date."