Login / Signup
Marcin Szymczak
ORCID
Publication Activity (10 Years)
Years Active: 2015-2020
Publications (10 Years): 4
Top Topics
Weighted Model Counting
Lambda Calculus
Bayesian Inference
Hyperparameters
Top Venues
CoRR
POPL
ICFP
SETSS
</>
Publications
</>