2.23.21-AI-Solar-Lezama

Conference Video|Duration: 15:36
February 23, 2021
Please login to view this video.
  • Video details
    In this talk, I describe some recent work on neurosymbolic program synthesis, a new approach to program synthesis that combines machine learning and symbolic reasoning about programs in order to build new kinds of program synthesizers.
Locked Interactive transcript
Please login to view this video.
  • Video details
    In this talk, I describe some recent work on neurosymbolic program synthesis, a new approach to program synthesis that combines machine learning and symbolic reasoning about programs in order to build new kinds of program synthesizers.
Locked Interactive transcript