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