Lingpeng Kong

Explorando como a IA impacta o desenvolvimento de software e as práticas de codificação.

Um novo método pra detectar e corrigir erros de fato nas histórias.

Um novo método melhora a prova de teoremas usando IA e aprendizado de especialistas.

Explorando a ascensão da IA em decisões e interações sociais.