|
|
|
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 |
Titre | DeepSynth, 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. |
Lieu | 178 |
Orateur | Nathanaël Fijalkow |
Email | https://nathanael-fijalkow.github.io/ |
Url | LaBRI - CNRS |
Aucun document lié à cet événement. RetourRetour à l'index
| |