Steven Holtzen
4 papers
· 2018–2023
· 2 conferences
· across top CS/AI conferences
Achievements
πΊοΈ
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)