Carraro, Tommaso

1. A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts
   2024/06/14 by Bortolotti, Samuele, Marconato, Emanuele, Carraro, Tommaso +5 · 4 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
2. Novel Applications for VAE-based Anomaly Detection Systems
   2022/04/26 by Luca Bergamin, Bergamin, Luca, Tommaso Carraro +5 · 1 citation
   Computer Science · Social Sciences · #Advanced Malware Detection Techniques #Misinformation and Its Impacts #Anomaly Detection Techniques and Applications
3. LTNtorch: PyTorch Implementation of Logic Tensor Networks
   2024/09/24 by Tommaso Carraro, Carraro, Tommaso, Luciano Serafini +3 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #Embedded Systems Design Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems