Invited Talk
in
Workshop: Deep Learning for Code (DL4C)
Neurosymbolic reasoning for better program synthesis
Armando Solar-Lezama
Abstract:
In this talk, Prof. Solar-Lezama will describe how the combination of deep learning and symbolic reasoning can help improve on the capabilities of purely neural systems. The talk will also describe some open problems around how to make this combination even more capable.
Chat is not available.