University of Cambridge > Talks.cam > Artificial Intelligence Research Group Talks (Computer Laboratory) > Neural Symbolic Interpretability

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Neural Symbolic Interpretability

Download to your calendar using vCal

If you have a question about this talk, please contact Mateja Jamnik .

Notice unusual day and time

Neuro-symbolic (NeSy) interpretability provides a formal language for controlling deep neural networks (DNNs) and ensuring that their behavior satisfies human desiderata. We will present the architectural conditions that enable NeSy control in DNNs and, based on these conditions, introduce a general blueprint for instantiating NeSy-interpretable reasoners. We illustrate this paradigm using two representative examples: verifiable and causally transparent concept-based models.

Pietro is a Swiss Postdoctoral Fellow and Ellis member at IBM Research. Previously, he was a postdoc at Universita’ della Svizzera Italiana and received his PhD at the University of Cambridge. His research focuses on the mathematical foundations of interpretability and on developing causally transparent models to go beyond the current accuracy-interpretability trade-off.

This talk is part of the Artificial Intelligence Research Group Talks (Computer Laboratory) series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Average on weekdays: 9028.98684211 kWh in person (encouraged). Zoom link also available. GN06, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon

Other talks

Group Presentation 4 Alicia Anderson discussing some exciting news about HARPS3 Toward affordable preventive healthcare Organiser Welcome TOWARD AFFORDABLE PREVENTIVE HEALTHCARE: How basic science addresses grand challenges Mergers all the way down: simulating the origin of globular clusters in a galactic context
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity