Lingpeng Kong

Explorer comment l'IA impacte le développement logiciel et les pratiques de codage.

Une nouvelle méthode pour détecter et corriger les erreurs factuelles dans les récits.

Une nouvelle méthode améliore la démonstration de théorèmes en utilisant l'IA et l'apprentissage d'experts.

Explorer l'essor de l'IA dans la prise de décision et les interactions sociales.