activity
20142025
most citedSMT-based Weighted Model Integration with Structure Awareness

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

collaborators
Showing cs.AIShow all

7 papers · 1 filter

cs.AI20231 cited

Learning to Guide Human Experts via Personalized Large Language Models

Debodeep Banerjee, Stefano Teso, Andrea Passerini

In learning to defer, a predictor identifies risky decisions and defers them to a human expert. One key issue with this setup is that the expert may end up over-relying on the mach…

cs.AI2023

Egocentric Hierarchical Visual Semantics

Luca Erculiani, Andrea Bontempelli, Andrea Passerini +1

We are interested in aligning how people think about objects and what machines perceive, meaning by this the fact that object recognition, as performed by a machine, should follow…

cs.AI20231 cited

Interval Logic Tensor Networks

Samy Badreddine, Gianluca Apriceno, Andrea Passerini +1

In this paper, we introduce Interval Real Logic (IRL), a two-sorted logic that interprets knowledge such as sequential properties (traces) and event properties using sequences of r…

cs.AI2023

Neuro-Symbolic Reasoning Shortcuts: Mitigation Strategies and their Limitations

Emanuele Marconato, Stefano Teso, Andrea Passerini

Neuro-symbolic predictors learn a mapping from sub-symbolic inputs to higher-level concepts and then carry out (probabilistic) logical inference on this intermediate representation…

cs.AI20223 cited

SMT-based Weighted Model Integration with Structure Awareness

Giuseppe Spallitta, Gabriele Masina, Paolo Morettin +2

Weighted Model Integration (WMI) is a popular formalism aimed at unifying approaches for probabilistic inference in hybrid domains, involving logical and algebraic constraints. Des…

cs.AI2016

Coactive Critiquing: Elicitation of Preferences and Features

Stefano Teso, Paolo Dragone, Andrea Passerini

When faced with complex choices, users refine their own preference criteria as they explore the catalogue of options. In this paper we propose an approach to preference elicitation…