Profesor asociat de Inginerie Electrică și de Calculatoare la @Princeton, @chijinML Chi Jin își concentrează activitatea pe fundamentele decizionale ale învățării automate: avansând teoria de bază a ML-ului, extinzându-și în același timp activitatea către sisteme AI fundamentate și verificabile. Va vorbi la Simpozionul Open AGI din @NeurIPSConf, pe 4 decembrie, la San Diego, prezentând "Goedel Prover V2: Cel mai puternic demonstrator de teoreme open-source de până acum."