Morettin, Paolo

12 publications

UAI 2025 A Probabilistic Neuro-Symbolic Layer for Algebraic Constraint Satisfaction Leander Kurscheidt, Paolo Morettin, Roberto Sebastiani, Andrea Passerini, Antonio Vergari

NeurIPS 2025 Shortcuts and Identifiability in Concept-Based Models from a Neuro-Symbolic Lens Samuele Bortolotti, Emanuele Marconato, Paolo Morettin, Andrea Passerini, Stefano Teso

NeurIPS 2024 A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts Samuele Bortolotti, Emanuele Marconato, Tommaso Carraro, Paolo Morettin, Emile van Krieken, Antonio Vergari, Stefano Teso, Andrea Passerini

UAI 2022 SMT-Based Weighted Model Integration with Structure Awareness Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani

IJCAI 2021 Hybrid Probabilistic Inference with Logical and Algebraic Constraints: A Survey Paolo Morettin, Pedro Zuidberg Dos Martires, Samuel Kolb, Andrea Passerini

NeurIPS 2020 Efficient Generation of Structured Objects with Constrained Adversarial Networks Luca Di Liello, Pierfrancesco Ardino, Jacopo Gobbi, Paolo Morettin, Stefano Teso, Andrea Passerini

AAAI 2020 Learning Weighted Model Integration Distributions Paolo Morettin, Samuel Kolb, Stefano Teso, Andrea Passerini

NeurIPS 2020 Probabilistic Inference with Algebraic Constraints: Theoretical Limits and Practical Approximations Zhe Zeng, Paolo Morettin, Fanqi Yan, Antonio Vergari, Guy Van den Broeck

ICML 2020 Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing Zhe Zeng, Paolo Morettin, Fanqi Yan, Antonio Vergari, Guy Van Den Broeck

IJCAI 2019 The Pywmi Framework and Toolbox for Probabilistic Inference Using Weighted Model Integration Samuel Kolb, Paolo Morettin, Pedro Zuidberg Dos Martires, Francesco Sommavilla, Andrea Passerini, Roberto Sebastiani, Luc De Raedt

IJCAI 2017 Efficient Weighted Model Integration via SMT-Based Predicate Abstraction Paolo Morettin, Andrea Passerini, Roberto Sebastiani

IJCAI 2017 Probabilistic Inference in Hybrid Domains Paolo Morettin