Pedro Zuidberg Dos Martires
18 papers · 2019–2026 · 6 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+11 more ↓ Show less ↑
π Academic Marathon (6) π Cross-Pollinator (15) π Interdisciplinary Bridge π Conference Polyglot (6) π Renaissance Researcher (6)
π
Renaissance Researcher
(6)
πΊοΈ
Taxonomy Completionist
(28)
π§
Keyword Pioneer
π
Keyword Champion
(3)
π¬
Deep Specialist
(10)
π§¬
Topic Evolution
π
Century Club
(17)
π
Conference Pioneer
ποΈ
Keyword Collector
(78)
π₯
Unstoppable
(7)
π
Trend Setter
Conferences
AAAI (6)
UAI (4)
IJCAI (3)
ICLR (2)
NIPS (2)
NAACL (1)
Top co-authors
Keywords
probabilistic inference
(5)
weighted model integration
(5)
probabilistic reasoning
(3)
bayesian inference
(3)
knowledge compilation
(3)
logical constraint
(2)
symbolic reasoning
(2)
bayesian network
(2)
weighted model counting
(2)
probabilistic logic programming
(2)
epistemic uncertainty
(1)
model uncertainty
(1)
markov decision process
(1)
discrete optimization
(1)
gradient estimation
(1)
uncertainty quantification
(1)
bayesian learning
(1)
heuristic search
(1)
semantic meaning
(1)
human-robot interaction
(1)
Papers
Two Constraint Compilation Methods for Lifted Planning
AAAI 2026
KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI
ICLR 2025
A Quantum Information Theoretic Approach to Tractable Probabilistic Models
UAI 2025
REvolve: Reward Evolution with Large Language Models using Human Feedback
ICLR 2025
Probabilistic Neural Circuits
AAAI 2024
SayCanPay: Heuristic Planning with Large Language Models Using Learnable Domain Knowledge
AAAI 2024
A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetics
NIPS 2024
Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation
AAAI 2024
Differentiable Sampling of Categorical Distributions Using the CatLog-Derivative Trick
NIPS 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
ProbAnch: a Modular Probabilistic Anchoring Framework
IJCAI 2020
Ordering Variables for Weighted Model Integration
UAI 2020
The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration
IJCAI 2019
Exact and Approximate Weighted Model Integration with Probability Density Functions Using Knowledge Compilation
AAAI 2019
Learning from Implicit Information in Natural Language Instructions for Robotic Manipulations
NAACL 2019
How to Exploit Structure while Solving Weighted Model Integration Problems
UAI 2019