Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
DeepSynth, two years later: what have we learned about program synthesis?
du groupe Séminaire Méthodes Formelles

Date 2020-11-03  07:00-07:00
TitreDeepSynth, two years later: what have we learned about program synthesis?  
RésuméIn January 2019 we started the DeepSynth project to understand the use of machine learning for program synthesis. Two years later, I will discuss our current understanding, the ideas we had, and some perspectives. Joint work with Guillaume Lagarde, and many others.  
Lieu178 
OrateurNathanaël Fijalkow 
Emailhttps://nathanael-fijalkow.github.io/ 
UrlLaBRI - CNRS 



Aucun document lié à cet événement.

Retour
Retour à l'index