Leçon inaugurale - Yann LeCun : L'apprentissage profond : une révolution en intelligence artificielle

Collège de France - Sélection · Feb 4, 2016 · 1h 30m

Yann LeCun

Informatique et sciences numériques

Chaire annuelle en partenariat avec l'Inria

Année 2015-2016

L'apprentissage profond : une révolution en intelligence artificielle

Leçon inaugurale

Ce dernier cours de 2014-2015 introduit les méthodes implicites de manipulation de systèmes de transitions, à travers les méthodes de calcul booléen utilisées à la fois pour la vérification formelles et pour l'optimisation de circuits électroniques et de programmes qui peuvent se réduire au calcul booléen.

Ces méthodes ont révolutionné le domaine en permettant des vérifications formelles de systèmes…