Professor Associado de Engenharia Elétrica e de Computação na @Princeton, @chijinML Chi Jin centra seu trabalho nos fundamentos da tomada de decisão do aprendizado de máquina: avançar a teoria central de ML enquanto expande seu trabalho para sistemas de IA fundamentados e verificáveis. Ele fará uma palestra no Simpósio Open AGI no @NeurIPSConf de 4 de dezembro em San Diego, apresentando "Goedel Prover V2: O Provador de Teoremas de Código Aberto Mais Forte até Agora."