Discovering Candidates for Gene Network Expansion by Distributed Volunteer Computing. - Francesco Asnicar; Luca Erculiani; Francesca Galante; Caterina Gallo; Luca Masera; Paolo Morettin; Nadir Sella; Stanislau Semeniuta; Thomas Tolio; Giulia Malacarne; Kristof Engelen; Andrea Argentini; et al. (TrustCom/BigDataSE/ISPA (3), 2015)

Probabilistic Inference in Hybrid Domains. - Paolo Morettin (IJCAI, 2017)

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

NES2RA. - Francesco Asnicar; Luca Masera; Emanuela Coller; Caterina Gallo; Nadir Sella; Thomas Tolio; Paolo Morettin; Luca Erculiani; Francesca Galante; Stanislau Semeniuta; Giulia Malacarne; Kristof Engelen; et al. (Int. J. High Perform. Comput. Appl., 2018)

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, 2019)

Advanced SMT techniques for weighted model integration. - Paolo Morettin; Andrea Passerini; Roberto Sebastiani (Artif. Intell., 2019)

Hybrid Probabilistic Inference with Logical Constraints: Tractability and Message Passing. - Zhe Zeng; Fanqi Yan; Paolo Morettin; Antonio Vergari; Guy Van den Broeck (CoRR, 2019)

Learning Weighted Model Integration Distributions. - Paolo Morettin; Samuel Kolb; Stefano Teso; Andrea Passerini (AAAI, 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 (ICML, 2020)

Efficient Generation of Structured Objects with Constrained Adversarial Networks. - Luca Di Liello; Pierfrancesco Ardino; Jacopo Gobbi; Paolo Morettin; 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 (NeurIPS, 2020)

Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey. - Paolo Morettin; Pedro Zuidberg Dos Martires; Samuel Kolb; Andrea Passerini (IJCAI, 2021)

Co-creating Platformer Levels with Constrained Adversarial Networks. - Paolo Morettin; Andrea Passerini; Stefano Teso (IUI Workshops, 2021)

SMT-based weighted model integration with structure awareness. - Giuseppe Spallitta; Gabriele Masina; Paolo Morettin; Andrea Passerini; Roberto Sebastiani (UAI, 2022)

Learning and Reasoning in Hybrid Structured Spaces - Paolo Morettin (IOS Press, 2022)

Top-Down Knowledge Compilation for Counting Modulo Theories. - Vincent Derkinderen; Pedro Zuidberg Dos Martires; Samuel Kolb; Paolo Morettin (CoRR, 2023)

Semantic Loss Functions for Neuro-Symbolic Structured Prediction. - Kareem Ahmed; Stefano Teso; Paolo Morettin; Luca Di Liello; Pierfrancesco Ardino; Jacopo Gobbi; Yitao Liang; Eric Wang; Kai-Wei Chang; Andrea Passerini; Guy Van den Broeck (Compendium of Neurosymbolic Artificial Intelligence, 2023)

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 (NeurIPS, 2024)

A Unified Framework for Probabilistic Verification of AI Systems via Weighted Model Integration. - Paolo Morettin; Andrea Passerini; Roberto Sebastiani (CoRR, 2024)

Semantic Loss Functions for Neuro-Symbolic Structured Prediction. - Kareem Ahmed; Stefano Teso; Paolo Morettin; Luca Di Liello; Pierfrancesco Ardino; Jacopo Gobbi; Yitao Liang; Eric Wang; Kai-Wei Chang; Andrea Passerini; Guy Van den Broeck (CoRR, 2024)

A Benchmark Suite for Systematically Evaluating Reasoning Shortcuts. - Samuele Bortolotti; Emanuele Marconato; Tommaso Carraro; Paolo Morettin; Emile van Krieken; Antonio Vergari; Stefano Teso; Andrea Passerini (CoRR, 2024)

Enhancing SMT-based Weighted Model Integration by structure awareness. - Giuseppe Spallitta; Gabriele Masina; Paolo Morettin; Andrea Passerini; Roberto Sebastiani (Artif. Intell., 2024)

A Benchmark Suite for Systematically Evaluating Reasoning Shortcuts. - Samuele Bortolotti; Emanuele Marconato; Tommaso Carraro; Paolo Morettin; Emile van Krieken; Antonio Vergari; Stefano Teso; Andrea Passerini (Zenodo, 2024)

A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction. - Leander Kurscheidt; Paolo Morettin; Roberto Sebastiani; Andrea Passerini; Antonio Vergari (UAI, 2025)

Shortcuts and Identifiability in Concept-based Models from a Neuro-Symbolic Lens. - Samuele Bortolotti; Emanuele Marconato; Paolo Morettin; Andrea Passerini; Stefano Teso (CoRR, 2025)