Adam Ścibior

Papers

See also Google Scholar.

Dissertation

Formally Justified and Modular Bayesian Inference for Probabilistic Programs
PDF

Preprints

Deep Probabilistic Surrogate Networks for Universal Simulator Approximation
arXiv
Amortized Rejection Sampling in Universal Probabilistic Programming
arXiv
Imitation Learning of Factored Multi-agent Reactive Models
arXiv

Conference Papers

Functional Programming for Modular Bayesian Inference
ACM
Denotational Validation of Higher-Order Bayesian Inference
ACM
Consistent Kernel Mean Estimation for Functions of Random Variables
Proceedings
Fabular: Regression Formulas as Probabilistic Programming
ACM
Practical Probabilistic Programming with Monads
ACM

Workshop Papers

Strongly Typed Tracing of Probabilistic Programs
Model and Inference Combinators for Deep Probabilistic Programming
Composing Modeling and Inference Operations with Probabilistic Program Combinators
The Semantic Structure of Quasi-Borel Spaces
Building Inference Algorithms from Monad Transformers
Modular Construction of Bayesian Inference Algorithms
Parameterized Probability Monad
Reproducing Kernel Hilbert Space Semantics for Probabilistic Programs
Probabilistic Programming with Effects