Profesor nadzwyczajny inżynierii elektrycznej i komputerowej na @Princeton, @chijinML Chi Jin koncentruje swoją pracę na podstawach podejmowania decyzji w uczeniu maszynowym: rozwijając podstawową teorię ML, jednocześnie poszerzając swoje działania w kierunku ugruntowanych, weryfikowalnych systemów AI. Będzie mówił na Open AGI Symposium na @NeurIPSConf 4 grudnia w San Diego, prezentując „Goedel Prover V2: Najsilniejszy otwarty dowódca twierdzeń do tej pory.”