Paolo Morettin
11 papers · 2017–2025 · 5 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
🗺️ Taxonomy Completionist (23) 🌍 Conference Polyglot · Silver 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Bronze 🐣 Hot Topic Early Bird
🧬
Topic Evolution
🏆
Keyword Champion
(3)
🧭
Keyword Pioneer
💎
Century Club · Bronze
Venues
Top co-authors
Research topics
Artificial Intelligence
(8)
Machine Learning
(8)
Bayesian & Probabilistic · Artificial Intelligence
(8)
Optimization & Theory
(7)
Bayesian & Probabilistic · Machine Learning
(6)
Mathematics & Optimization
(5)
Optimization
(5)
Core AI
(3)
Core Methods
(3)
Knowledge & Reasoning
(2)
Reasoning
(2)
Deep Learning
(1)
Learning Types · Machine Learning
(1)
Learning Types · Deep Learning
(1)
Mathematics
(1)
Keywords
probabilistic inference
(8)
weighted model integration
(7)
hybrid domain
(4)
bayesian inference
(4)
smt solving
(3)
continuous variable
(3)
exact inference
(3)
logical constraint
(3)
constraint satisfaction
(2)
algebraic constraint
(2)
message passing
(2)
weighted model counting
(2)
molecule generation
(1)
factor graph
(1)
smt solver
(1)
predicate abstraction
(1)
neuro-symbolic computing
(1)
reasoning shortcut
(1)
safety-critical application
(1)
neural network
(1)
Papers
A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction
UAI 2025
A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts
NeurIPS 2024
SMT-based weighted model integration with structure awareness
UAI 2022
Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey
IJCAI 2021
Efficient Generation of Structured Objects with Constrained Adversarial Networks
NeurIPS 2020
Learning Weighted Model Integration Distributions
AAAI 2020
Probabilistic Inference with Algebraic Constraints: Theoretical Limits and Practical Approximations
NeurIPS 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
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction
IJCAI 2017
Probabilistic Inference in Hybrid Domains
IJCAI 2017