Steven Holtzen
4 papers · 2018–2023 · 2 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 ↓
๐
Conference Polyglot ยท Bronze
๐
Academic Marathon ยท Sprint
๐
Interdisciplinary Bridge ยท Bronze
๐
Conference Pioneer
๐
Trend Setter
Top co-authors
Research topics
Artificial Intelligence
(3)
Machine Learning
(3)
Bayesian & Probabilistic ยท Artificial Intelligence
(3)
Mathematics & Optimization
(2)
Bayesian & Probabilistic ยท Machine Learning
(2)
Optimization & Theory
(2)
Knowledge & Reasoning
(1)
Core Methods
(1)
Learning Paradigms
(1)
Optimization
(1)
Probability
(1)
Reasoning
(1)
Keywords
probabilistic inference
(3)
graphical model
(2)
probabilistic programming
(2)
tractable inference
(1)
lifted inference
(1)
knowledge compilation
(1)
determinantal point process
(1)
discrete distribution
(1)
model compilation
(1)
probabilistic model
(1)
probabilistic circuit
(1)
factor graph
(1)
tractable probabilistic model
(1)
sound abstraction
(1)
symmetry exploitation
(1)
integer arithmetic
(1)
approximate inference
(1)
program decomposition
(1)
markov chain monte carlo
(1)
exact inference
(1)
Papers
Scaling integer arithmetic in probabilistic programs
UAI 2023
On the Relationship Between Probabilistic Circuits and Determinantal Point Processes
UAI 2020
Generating and Sampling Orbits for Lifted Probabilistic Inference
UAI 2019
Sound Abstraction and Decomposition of Probabilistic Programs
ICML 2018