← Search

Stefano Colamonaco

2 accepted papers

2026

DeepLog: A Software Framework for Modular Neurosymbolic AI

IJCAI 2026

DeepLog is an operational neurosymbolic framework that unifies logic and deep learning within standard PyTorch workflows. While existing neurosymbolic systems focus on a particular paradigm and semantics, DeepLog serves as a universal backend that can emulate many systems in the neurosymbolic alphab

Cited by 0Scholar
2026

Prototype-Grounded Concept Models for Verifiable Concept Alignment

ICML 2026poster

Concept Bottleneck Models (CBMs) aim to improve interpretability by mediating predictions through human-understandable concepts, but they provide no way to verify whether learned concepts align with the human's intended meaning, hurting interpretability. We introduce Prototype-Grounded Concept Model…

Cited by 0SourceScholar