Giáo sư phụ trách Kỹ thuật Điện và Máy tính tại @Princeton, @chijinML Chi Jin tập trung vào các nền tảng ra quyết định của học máy: nâng cao lý thuyết ML cốt lõi trong khi mở rộng công việc của mình hướng tới các hệ thống AI có cơ sở và có thể xác minh. Ông sẽ phát biểu tại Hội nghị Open AGI Symposium tại @NeurIPSConf vào ngày 4 tháng 12 tại San Diego, trình bày "Goedel Prover V2: Bộ chứng minh định lý mã nguồn mở mạnh nhất cho đến nay."