Außerordentlicher Professor für Elektrotechnik und Informatik an der @Princeton, @chijinML Chi Jin konzentriert seine Arbeit auf die Entscheidungsgrundlagen des maschinellen Lernens: Er fördert die grundlegende ML-Theorie und erweitert seine Arbeit in Richtung fundierter, verifizierbarer KI-Systeme. Er wird am Open AGI Symposium bei @NeurIPSConf am 4. Dezember in San Diego sprechen und "Goedel Prover V2: Der stärkste Open-Source-Theorembeweiser bis heute" präsentieren.