Docent elektrotechniky a počítačového inženýrství na @Princeton, @chijinML Chi Jin staví svou práci na základy rozhodování ve strojovém učení: rozvoj základní teorie strojového učení a zároveň rozšiřování své práce směrem k uzemněným, ověřitelným AI systémům. Bude vystupovat na sympoziu Open AGI Symposium 4. prosince @NeurIPSConf v San Diegu, kde bude prezentovat "Goedel Prover V2: Nejsilnější open-source dokazovač vět dosud."