Tommaso Carraro

A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts

The advent of powerful neural classifiers has increased interest in problems that require both learning and reasoning. These problems are critical for understanding important properties of models, such as trustworthiness, generalization, interpretability, and compliance to safety and structural cons…