CIS Seminar: “Neurosymbolic AI for Safety-Critical Agile Control”
/
Wu and Chen Auditorium (Room 101), Levine Hall
3330 Walnut Street, Philadelphia, PA, United States
This talk overviews research at Caltech on designing hybrid or neurosymbolic AI systems that blend learning with symbolic structure, in order to achieve both the flexibility of the former and the formal interpretability and generalization power of the latter. By having systems that are formally interpretable, one can employ a wide range of formal analysis […]

