Andreas Stuhlmueller
3 papers · 2011–2023 · 3 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 ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Bronze 🐣 Hot Topic Early Bird 🌱 Topic Pioneer
🧭
Keyword Pioneer
Venues
Research topics
Keywords
probabilistic programming
(2)
automatic differentiation
(1)
markov chain monte carlo
(1)
mcmc inference
(1)
stochastic process
(1)
program analysis
(1)
gradient based methods
(1)
provenance tracking
(1)
inference algorithm
(1)
execution trace
(1)
probabilistic programming language
(1)
bayesian inference
(1)
transformational compilation
(1)
Papers
Factored Verification: Detecting and Reducing Hallucination in Summaries of Academic Papers
AACL 2023
Lightweight Implementations of Probabilistic Programming Languages Via Transformational Compilation
AISTATS 2011
Nonstandard Interpretations of Probabilistic Programs for Efficient Inference
NeurIPS 2011