activity
20242026
most citedTime Can Invalidate Algorithmic Recourse

3 citations · 10 across the 18 of their papers we have counts for

collaborators
Showing 2025Show all

6 papers · 1 filter

cs.AI2025

Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts

Emanuele Marconato, Samuele Bortolotti, Emile van Krieken +6

Neuro-symbolic (NeSy) AI aims to develop deep neural networks whose predictions comply with prior knowledge encoding, e.g. safety or structural constraints. As such, it represents…

cs.CV2025

Personalized Interpretability -- Interactive Alignment of Prototypical Parts Networks

Tomasz Michalski, Adam Wróbel, Andrea Bontempelli +6

Concept-based interpretable neural networks have gained significant attention due to their intuitive and easy-to-understand explanations based on case-based reasoning, such as "thi…

cs.LG2025

If Concept Bottlenecks are the Question, are Foundation Models the Answer?

Nicola Debole, Pietro Barbiero, Francesco Giannini +3

Concept Bottleneck Models (CBMs) are neural networks designed to conjoin high performance with ante-hoc interpretability. CBMs work by first mapping inputs (e.g., images) to high-l…

cs.LG2025

A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction

Leander Kurscheidt, Paolo Morettin, Roberto Sebastiani +2

In safety-critical applications, guaranteeing the satisfaction of constraints over continuous environments is crucial, e.g., an autonomous agent should never crash into obstacles o…

cs.LG2025

Shortcuts and Identifiability in Concept-based Models from a Neuro-Symbolic Lens

Samuele Bortolotti, Emanuele Marconato, Paolo Morettin +2

Concept-based Models are neural networks that learn a concept extractor to map inputs to high-level concepts and an inference layer to translate these into predictions. Ensuring th…

cs.LG2025

Beyond Topological Self-Explainable GNNs: A Formal Explainability Perspective

Steve Azzolin, Sagar Malhotra, Andrea Passerini +1

Self-Explainable Graph Neural Networks (SE-GNNs) are popular explainable-by-design GNNs, but their explanations' properties and limitations are not well understood. Our first contr…