Lingpeng Kong

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.