Invited Talk
in
Workshop: 2nd Workshop on Formal Verification of Machine Learning
Prof. Armando Solar-Lezama (MIT): Neurosymbolic Learning as a Path to Learning with Guarantees
Armando Solar-Lezama
Abstract:
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.
Chat is not available.