Timezone: »

Prof. Armando Solar-Lezama (MIT): Neurosymbolic Learning as a Path to Learning with Guarantees
Armando Solar-Lezama

Fri Jul 28 06:50 PM -- 07:20 PM (PDT) @

Learning representations that combine program structure with neural components can help provide a path to learned systems with stronger safety guarantees. In this talk, I will describe some of our recent work on learning with program representations and its connection to safety and verification.

Author Information

Armando Solar-Lezama (MIT)

More from the Same Authors