Le DeepMath

Le projet Deepmath cherche à améliorer le théorème automatisé en prouvant en profondeur L’apprentissage et d’autres techniques d’apprentissage automatique.Deepmath est une collaboration EntreGoogle Rechercheet plusieurs universités.

Disclamation :

Le code source dans ce stockage n’est pas un produit officiel de Google, mais Il s’agit d’une collaboration de recherche avec des équipes de recherche extérieures.

Installation

Deepmath dépend de TensorFlow, qui est inclus en tant que sous-module. voir, le Dockerfile pour créer des instructions pourdeepholNotre mémoire neurologique, c’est Il est nécessaire de se connecter à un serveur assistant de preuve. voir https://github.com/brain-research/hol-light pour une mise en œuvre du serveur.