Professor Associado de Engenharia Elétrica e de Computação na @Princeton, @chijinML Chi Jin centra seu trabalho nas fundações da tomada de decisão em aprendizado de máquina: avançando a teoria central de ML enquanto expande seu trabalho em direção a sistemas de IA fundamentados e verificáveis. Ele falará no Simpósio Open AGI na @NeurIPSConf no dia 4 de dezembro em San Diego, apresentando "Goedel Prover V2: O Provedor de Teoremas de Código Aberto Mais Forte Até Agora."