Google Scholar

PhD Thesis

• Formally justified and modular Bayesian inference for probabilistic programs
  Adam Ścibior
  University of Cambridge, 2019

Preprints

• Deep Probabilistic Surrogate Networks for Universal Simulator Approximation
  Andreas Munk, Adam Ścibior, Atılım Güneş Baydin, Andrew Stewart, Goran Fernlund, Anoush Poursartip, Frank Wood

• Amortized Rejection Sampling in Universal Probabilistic Programming
  Saeid Naderiparizi, Adam Ścibior, Andreas Munk, Mehrdad Ghadiri, Atılım Güneş Baydin, Bradley Gram-Hansen, Christian Schroeder de Witt, Robert Zinkov, Philip H.S. Torr, Tom Rainforth, Yee Whye Teh, Frank Wood

• Imitation Learning of Factored Multi-agent Reactive Models
  Michael Teng, Tuan Anh Le, Adam Ścibior, and Frank Wood

Publications

• Functional programming for modular Bayesian inference
  Adam Ścibior, Ohad Kammar, and Zoubin Ghahramani
  ICFP 2018

• Denotational validation of higher-order Bayesian inference
  Adam Ścibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, and Zoubin Ghahramani
  POPL 2018

• Consistent kernel mean estimation for functions of random variables
  Carl-Johann Simon-Gabriel*, Adam Ścibior*, Ilya Tolstikhin, and Bernhard Schölkopf
  * joint first authors
  NIPS 2016

• Fabular: regression formulas as probabilistic programming
  Johannes Borgström, Andrew D. Gordon, Long Ouyang, Claudio Russo, Adam Ścibior, and Marcin Szymczak
  POPL 2016

• Practical probabilistic programming with monads
  Adam Ścibior, Zoubin Ghahramani, and Andrew D. Gordon
  Haskell 2015

Workshop papers

• Strongly Typed Tracing of Probabilistic Programs
  Adam Ścibior and Michael Thomas
  LAFI 2019

• Model and Inference Combinators for Deep Probabilistic Programming
  Eli Sennesh, Adam Ścibior, Hao Wu, Jan-Willem van de Meent
  LAFI 2019

• Composing Modeling and Inference Operations with Probabilistic Program Combinators
  Eli Sennesh, Adam Ścibior, Hao Wu and Jan-Willem van de Meent
  BNP 2018

• The semantic structure of quasi-Borel spaces: geometry, algebra, logic, and recursion
  Chris Heunen, Ohad Kammar, Sean Moss, Adam Ścibior, Sam Staton, Matthijs Vákár, and Hongseok Yang
  PPS 2018

• Building inference algorithms from monad transformers
  Adam Ścibior, Yufei Cai, Klaus Ostermann, and Zoubin Ghahramani
  PPS 2017

• Modular construction of Bayesian inference algorithms
  Adam Ścibior and Zoubin Ghahramani
  AABI 2016

• Parameterized probability monad
  Adam Ścibior and Adrew D. Gordon
  PPS 2016

• Reproducing kernel Hilbert space semantics for probabilistic programs
  Adam Ścibior and Bernhard Schölkopf
  PPS 2016

• Probabilistic programming with effects
  Adam Ścibior and Ohad Kammar
  HOPE 2015