2 citations · 6 across the 5 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.AI2024★ 2 cited
LTNtorch: PyTorch Implementation of Logic Tensor Networks
Tommaso Carraro, Luciano Serafini, Fabio Aiolli
Logic Tensor Networks (LTN) is a Neuro-Symbolic framework that effectively incorporates deep learning and logical reasoning. In particular, LTN allows defining a logical knowledge…
cs.LG2024
A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts
Samuele Bortolotti, Emanuele Marconato, Tommaso Carraro +5
The advent of powerful neural classifiers has increased interest in problems that require both learning and reasoning. These problems are critical for understanding important prope…