Paolo Morettin
11 papers · 2017–2025 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
π£ Hot Topic Early Bird πΊοΈ Taxonomy Completionist (23) π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (5)
π
Academic Marathon
(8)
π
Cross-Pollinator
(15)
π
Renaissance Researcher
(5)
π
Keyword Champion
(2)
π
Century Club
(11)
Conferences
IJCAI (4)
NIPS (3)
UAI (2)
AAAI (1)
ICML (1)
Top co-authors
Keywords
probabilistic inference
(8)
weighted model integration
(7)
bayesian inference
(4)
hybrid domain
(4)
exact inference
(3)
logical constraint
(3)
smt solving
(3)
continuous variable
(3)
message passing
(2)
weighted model counting
(2)
symbolic computation
(1)
generative adversarial network
(1)
molecule generation
(1)
factor graph
(1)
smt solver
(1)
predicate abstraction
(1)
neuro-symbolic computing
(1)
reasoning shortcut
(1)
neural network
(1)
satisfiability modulo theories
(1)
Papers
A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction
UAI 2025
A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts
NIPS 2024
SMT-based weighted model integration with structure awareness
UAI 2022
Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey
IJCAI 2021
Probabilistic Inference with Algebraic Constraints: Theoretical Limits and Practical Approximations
NIPS 2020
Efficient Generation of Structured Objects with Constrained Adversarial Networks
NIPS 2020
Learning Weighted Model Integration Distributions
AAAI 2020
Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing
ICML 2020
The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration
IJCAI 2019
Probabilistic Inference in Hybrid Domains
IJCAI 2017
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction
IJCAI 2017