Pedro Zuidberg Dos Martires
18 papers · 2019–2026 · 6 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 ↓+7 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (31) π Academic Marathon Β· Sprint π Conference Polyglot Β· Silver π Interdisciplinary Bridge Β· Bronze π£ Hot Topic Early Bird
π¬
Deep Specialist
(11)
π§¬
Topic Evolution
π
Renaissance Researcher
(5)
π₯
Unstoppable Β· Bronze
π
Conference Pioneer
ποΈ
Keyword Collector
(89)
π
Century Club Β· Bronze
Top co-authors
Research topics
Artificial Intelligence
(16)
Machine Learning
(13)
Bayesian & Probabilistic Β· Artificial Intelligence
(11)
Optimization & Theory
(11)
Core AI
(9)
Bayesian & Probabilistic Β· Machine Learning
(7)
Deep Learning
(4)
Knowledge & Reasoning
(3)
Mathematics & Optimization
(3)
Optimization
(3)
Reasoning
(3)
Learning Paradigms
(2)
Learning Types
(2)
Models
(2)
Interdisciplinary
(1)
Keywords
weighted model integration
(5)
probabilistic inference
(5)
knowledge compilation
(3)
symbolic reasoning
(3)
bayesian inference
(3)
probabilistic reasoning
(3)
probabilistic logic programming
(2)
logical constraint
(2)
probabilistic circuit
(2)
weighted model counting
(2)
generative model
(2)
reinforcement learning
(2)
bayesian network
(2)
neural network
(2)
model uncertainty
(1)
gradient estimation
(1)
epistemic uncertainty
(1)
heuristic search
(1)
human-robot interaction
(1)
uncertainty quantification
(1)
Papers
Two Constraint Compilation Methods for Lifted Planning
AAAI 2026
A Quantum Information Theoretic Approach to Tractable Probabilistic Models
UAI 2025
KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI
ICLR 2025
REvolve: Reward Evolution with Large Language Models using Human Feedback
ICLR 2025
A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetics
NeurIPS 2024
Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation
AAAI 2024
Probabilistic Neural Circuits
AAAI 2024
SayCanPay: Heuristic Planning with Large Language Models Using Learnable Domain Knowledge
AAAI 2024
Differentiable Sampling of Categorical Distributions Using the CatLog-Derivative Trick
NeurIPS 2023
Neural probabilistic logic programming in discrete-continuous domains
UAI 2023
Inference and Learning with Model Uncertainty in Probabilistic Logic Programs
AAAI 2022
Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey
IJCAI 2021
Ordering Variables for Weighted Model Integration
UAI 2020
ProbAnch: a Modular Probabilistic Anchoring Framework
IJCAI 2020
Exact and Approximate Weighted Model Integration with Probability Density Functions Using Knowledge Compilation
AAAI 2019
How to Exploit Structure while Solving Weighted Model Integration Problems
UAI 2019
Learning from Implicit Information in Natural Language Instructions for Robotic Manipulations
NAACL 2019
The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration
IJCAI 2019