Steven Holtzen
4 papers · 2018–2023 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (10) π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (2) π Academic Marathon (5)
π£
Hot Topic Early Bird
π
Cross-Pollinator
(15)
π
Trend Setter
π
Conference Pioneer
Conferences
UAI (3)
ICML (1)
Top co-authors
Research topics
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