Marcin Szymczak

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 4

Top Topics

Weighted Model Counting

Lambda Calculus

Bayesian Inference

Hyperparameters

Top Venues

Publications

Marcin Szymczak, Joost-Pieter Katoen
Weakest Preexpectation Semantics for Bayesian Inference. CoRR (2020)
Marcin Szymczak, Joost-Pieter Katoen
Weakest Preexpectation Semantics for Bayesian Inference - Conditioning, Continuous Distributions and Divergence. SETSS (2019)
Johannes Borgström, Andrew D. Gordon, Long Ouyang, Claudio V. Russo, Adam Scibior, Marcin Szymczak
Fabular: regression formulas as probabilistic programming. POPL (2016)
Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak
A lambda-calculus foundation for universal probabilistic programming. ICFP (2016)
Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak
A Lambda-Calculus Foundation for Universal Probabilistic Programming. CoRR (2015)
Andrew D. Gordon, Claudio V. Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel, Daniel Tarlow
Probabilistic Programs as Spreadsheet Queries. ESOP (2015)