Hi, I'm

Paolo Morettin

Postdoctoral researcher @ Declarative Languages and AI group (DTAI), KU Leuven, Belgium.

Supervisor Prof. Luc De Raedt

Formerly: PhD student @ Structured Machine Learning group (SML), University of Trento, Italy.
Supervisor Prof. Andrea Passerini, co-supervisor Prof. Roberto Sebastiani

KU Leuven GitHub Twitter LinkedIn


--------------------------------------------------------------:=:----:::::::::::
------------------------------------------------------------=%XH:--------:::::::
---------------------------------------------------------=%Z##$-----------::::::
------------------------------------------------------~%ZX##@$---------------:::
---------------------------------------------------~xZXX#@@@x---:~==+=~:------:-
--------------------------------------=+:-------~xZXXX##@@@%~+$H$$%%x=~:--------
--------"-------------------------:::~%Z#X%=:~xZX#XX##@@@@@#X%~-----::----------
----""""""""-""""""----"----:+%HXXXXXZZZX#@@@##XXX#@@@@@@@#$~:------------------
---"""""""""""""""-""""--:+$X#@@@@@@@########@@@#@@@@@@@@Hxx=-------------------
"-""""""""""""""""""""-:xHX##@@@@@@@@##########@@@@@@@@@#$+=+x+~----------------
-"""""""""""""""""""":xHXXX####XZXX#########@@@@@@@@@@@$~:-----:----------------
"""""""""""""""""""":$ZXXXX##ZH%xx$ZXX#####@@@@@@@@@@@@@#Z=---------------------
"""""""""""""""""""-%XXXXXXXZZ$x+++%Z##@@@@@@@@@@@@@@@@@#H+---------------------
""""""""""""""""""-+X#######H$Hxx+=+%XX#@@@@@@@@@@@@@@@@@#=---------------------
""""""""""""""""""-X@@@@@@##%%$%=+++x%ZX@@@@@@@@@@@@@@@@@@X:--------------------
"""""""""""""""""":#@@@@@@@X$HHHZHHH$%xxX@@@@@@@@@@@@@@@@@#+--------------------
"""""""""""""""""":#@@@@@@#XHH$HXXZH%=:~$@#ZX##@@@@@@@@@@@#~--------------------
""""""""""""""""""+##@@@@#H$x++++x+~~:::+ZXZ$$$HZXX#@@@@###x:-------------------
""""""""""""""""""~##@@@@#$x=::::::::~::~%ZXH$%%$HX##@@@@@@#X%~:----------------
""""""""""""""""""-HX@@@@#x=~~::::::~%xxH##XZH$$HZX##@@@@@@@@#%~:---------------
"""""""""""""""""--=Z#@@@#%=~~::::~~+$HHZ#@#XHHHZXXX#@@@@@@#XHx~----------------
""""""""""""""""-~=x%$#@###+~~~~xHZH$%xx%HX##@#XXXXX@@@@@#X$+=:-----------------
""""""""""""""""--:~+HZ$%X@Z+=~+H%+=+x%$$HZZZX##XXX@@@@@#H+~--------------------
""""""""""""""""""-----:+X#Z~=+x$%++==xHHHZHZX###X#@@@@#Z%----------------------
""""""""""""""""""""---:~$X+~~=%ZXH%$ZXXXXXX#@@@##X#XX#H::----------------------
----"""""""""""""""-----=%Zx~::=%X###@@##@@@@@@###XX$%x:------------------------
---------"""---------~x$XH%=~:::~~x$ZX###@@@#####XXX#H$%~----------------------:
----""-""""""---~+%HXHZZZx~~::::~~~=+x%$HZXXZZZZXXXX@@@@#H+:------------------::
--------:~=x%HZXXXXXXZHZZZ%~::::~~~~===+x%$$$HHHZZZX@@######Z$+~------------::::
+xx%$$ZXXXXX##########XZZZZZ$+~~~~~===+++xx%%$$$$ZX#######@@@@###Z$x=:--------::


Software

ReCoInRElax, COmpensate, INtegrate: an approximate Weighted Model Integration approach
MP-WMITractable Weighted Model Integration via message passing
LARIATLearning Weighted Model Integration distributions
pywmiA python toolbox for probabilistic modelling and inference using Weighted Model Integration
WMI-PAA general SMT-based WMI solver for exact probabilistic inference


Publications

Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey
Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI), 2021.
Paolo Morettin, Pedro Zuidberg Dos Martires, Samuel Kolb, Andrea Passerini.
Probabilistic Inference with Algebraic Constraints: Theoretical Limits and Practical Approximations
Proceedings of the 34th Conference on Neural Information Processing Systems (NeurIPS), 2020.
Zhe Zeng, Paolo Morettin, Fanqi Yan, Antonio Vergari, Guy Van den Broeck.
Efficient Generation of Structured Objects with Constrained Adversarial Networks
Proceedings of the 34th Conference on Neural Information Processing Systems (NeurIPS), 2020.
Luca Di Liello, Pierfrancesco Ardino, Jacopo Gobbi, Paolo Morettin, Stefano Teso, Andrea Passerini.
Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing
Proceedings of the 37th International Conference on Machine Learning (ICML), 2020.
Zhe Zeng, Paolo Morettin, Fanqi Yan, Antonio Vergari, Guy Van den Broeck.
Learning Weighted Model Integration distributions
Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI), 2020.
Paolo Morettin, Samuel Kolb, Stefano Teso, Andrea Passerini.
The pywmi Framework and Toolbox for Probabilistic Inference using WMI
Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI), 2019.
Samuel Kolb, Paolo Morettin, Pedro Zuidberg Dos Martires, Francesco Sommavilla, Andrea Passerini, Roberto Sebastiani, Luc De Raedt.
Advanced SMT techniques for Weighted Model Integration
Journal of Artificial Intelligence (AIJ), 2019.
Paolo Morettin, Andrea Passerini, Roberto Sebastiani.
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction
Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI), 2017.
Paolo Morettin, Andrea Passerini, Roberto Sebastiani.
Discovering Candidates for Gene Network Expansion by Distributed Volunteer Computing
Trustcom/BigDataSE/ISPA, 2015 IEEE. Vol. 3. IEEE, 2015.
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.


Service

Program/reviewing committee member:
AAAI 2021
ECAI 2020
ICLR 2022
ICML 2021
IJCAI 2020 2021
NeurIPS 2020 2021

Reviewer for journals:
Journal of Machine Learning Research
Frontiers in AI
Data Mining and Knowledge Discovery
K√ľnstliche Intelligenz (Journal of AI of the German Informatics Society)