Neurosymbolic reasoning for better program synthesis
Armando Solar-Lezama
2023 Invited Talk
in
Workshop: Deep Learning for Code (DL4C)
in
Workshop: Deep Learning for Code (DL4C)
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.
Video
Chat is not available.
Successful Page Load