Paolo Morettin

30 papers A* 9A 2Journal 15Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A conf
A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction.
UAI
Leander Kurscheidt, Paolo Morettin, Roberto Sebastiani, Andrea Passerini, Antonio Vergari
2025 J jnl
A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction.
CoRR
Leander Kurscheidt, Paolo Morettin, Roberto Sebastiani, Andrea Passerini, Antonio Vergari
2025 J jnl
Shortcuts and Identifiability in Concept-based Models from a Neuro-Symbolic Lens.
CoRR
Samuele Bortolotti, Emanuele Marconato, Paolo Morettin, Andrea Passerini, Stefano Teso
2025 J jnl
Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts.
CoRR
Emanuele Marconato, Samuele Bortolotti, Emile van Krieken, Paolo Morettin, Elena Umili, Antonio Vergari, Efthymia Tsamoura, Andrea Passerini, Stefano Teso
2024 J jnl
A Benchmark Suite for Systematically Evaluating Reasoning Shortcuts.
CoRR
Samuele Bortolotti, Emanuele Marconato, Tommaso Carraro, Paolo Morettin, Emile van Krieken, Antonio Vergari, Stefano Teso, Andrea Passerini
2024 A* conf
A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts.
NeurIPS
Samuele Bortolotti, Emanuele Marconato, Tommaso Carraro, Paolo Morettin, Emile van Krieken, Antonio Vergari, Stefano Teso, Andrea Passerini
2024 J jnl
A Unified Framework for Probabilistic Verification of AI Systems via Weighted Model Integration.
CoRR
Paolo Morettin, Andrea Passerini, Roberto Sebastiani
2024 J jnl
Enhancing SMT-based Weighted Model Integration by structure awareness.
Artif. Intell.
Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani
2024 J jnl
Semantic Loss Functions for Neuro-Symbolic Structured Prediction.
CoRR
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
2023 J jnl
Enhancing SMT-based Weighted Model Integration by Structure Awareness.
CoRR
Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani
2023 — ch.
Semantic Loss Functions for Neuro-Symbolic Structured Prediction.
Compendium of Neurosymbolic Artificial Intelligence
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
2023 J jnl
Top-Down Knowledge Compilation for Counting Modulo Theories.
CoRR
Vincent Derkinderen, Pedro Zuidberg Dos Martires, Samuel Kolb, Paolo Morettin
2022 — book
Learning and Reasoning in Hybrid Structured Spaces
Paolo Morettin
2022 J jnl
SMT-based Weighted Model Integration with Structure Awareness.
CoRR
Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani
2022 A conf
SMT-based weighted model integration with structure awareness.
UAI
Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani
2021 — conf
Co-creating Platformer Levels with Constrained Adversarial Networks.
IUI Workshops
Paolo Morettin, Andrea Passerini, Stefano Teso
2021 A* conf
Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey.
IJCAI
Paolo Morettin, Pedro Zuidberg Dos Martires, Samuel Kolb, Andrea Passerini
2020 A* conf
Efficient Generation of Structured Objects with Constrained Adversarial Networks.
NeurIPS
Luca Di Liello, Pierfrancesco Ardino, Jacopo Gobbi, Paolo Morettin, Stefano Teso, Andrea Passerini
2020 J jnl
Efficient Generation of Structured Objects with Constrained Adversarial Networks.
CoRR
Luca Di Liello, Pierfrancesco Ardino, Jacopo Gobbi, Paolo Morettin, Stefano Teso, Andrea Passerini
2020 A* conf
Learning Weighted Model Integration Distributions.
AAAI
Paolo Morettin, Samuel Kolb, Stefano Teso, Andrea Passerini
2020 A* conf
Probabilistic Inference with Algebraic Constraints: Theoretical Limits and Practical Approximations.
NeurIPS
Zhe Zeng, Paolo Morettin, Fanqi Yan, Antonio Vergari, Guy Van den Broeck
2020 A* conf
Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing.
ICML
Zhe Zeng, Paolo Morettin, Fanqi Yan, Antonio Vergari, Guy Van den Broeck
2020 J jnl
Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing.
CoRR
Zhe Zeng, Paolo Morettin, Fanqi Yan, Antonio Vergari, Guy Van den Broeck
2019 J jnl
Advanced SMT techniques for weighted model integration.
Artif. Intell.
Paolo Morettin, Andrea Passerini, Roberto Sebastiani
2019 J jnl
Hybrid Probabilistic Inference with Logical Constraints: Tractability and Message Passing.
CoRR
Zhe Zeng, Fanqi Yan, Paolo Morettin, Antonio Vergari, Guy Van den Broeck
2019 A* conf
The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration.
IJCAI
Samuel Kolb, Paolo Morettin, Pedro Zuidberg Dos Martires, Francesco Sommavilla, Andrea Passerini, Roberto Sebastiani, Luc De Raedt
2018 J jnl
NES
Int. J. High Perform. Comput. Appl.
Francesco Asnicar, Luca Masera, Emanuela Coller, Caterina Gallo, Nadir Sella, Thomas Tolio, Paolo Morettin, Luca Erculiani, Francesca Galante, Stanislau Semeniuta, Giulia Malacarne, Kristof Engelen, Andrea Argentini, Valter Cavecchia, Claudio Moser, Enrico Blanzieri
2017 A* conf
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction.
IJCAI
Paolo Morettin, Andrea Passerini, Roberto Sebastiani
2017 A* conf
Probabilistic Inference in Hybrid Domains.
IJCAI
Paolo Morettin
2015 — conf
Discovering Candidates for Gene Network Expansion by Distributed Volunteer Computing.
TrustCom/BigDataSE/ISPA (3)
Francesco Asnicar, Luca Erculiani, Francesca Galante, Caterina Gallo, Luca Masera, Paolo Morettin, Nadir Sella, Stanislau Semeniuta, Thomas Tolio, Giulia Malacarne, Kristof Engelen, Andrea Argentini, Valter Cavecchia, Claudio Moser, Enrico Blanzieri