research
∙
06/22/2022
Bayesian model calibration for block copolymer self-assembly: Likelihood-free inference and expected information gain computation via measure transport
We consider the Bayesian calibration of models describing the phenomenon...
share
research
∙
04/19/2022
A stochastic Stein Variational Newton method
Stein variational gradient descent (SVGD) is a general-purpose optimizat...
research
∙
02/14/2020
Isabelle/Spartan – A Dependent Type Theory Framework for Isabelle
This paper introduces Isabelle/Spartan, an implementation of intensional...
research
∙
10/31/2019