Roger Grosse

Présentation de REFACTOR, un système pour l'extraction automatique de théorèmes à partir de preuves mathématiques.

Examiner l'importance de l'évaluation des données pour les modèles de langue et ses implications.

Une nouvelle méthode améliore l'estimation de l'incertitude dans les prédictions d'apprentissage automatique.