Доцент кафедры электротехники и компьютерной инженерии в @Princeton, @chijinML Чи Цзин сосредоточил свою работу на основах принятия решений в машинном обучении: продвигая основную теорию ML, одновременно расширяя свои исследования в сторону обоснованных, проверяемых AI систем. Он выступит на Симпозиуме Open AGI на @NeurIPSConf 4 декабря в Сан-Диего с докладом "Goedel Prover V2: самый мощный открытый теоремный доказатель на сегодняшний день."