Skip to yearly menu bar Skip to main content

Invited Talk
Workshop: Deep Learning for Code (DL4C)

Neurosymbolic reasoning for better program synthesis

Armando Solar-Lezama


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.