CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming

Oscar Eriksson, Anders Ågren Thuné, Johannes Borgström +1

In recent years, there has been extensive research on how to extend general-purpose programming language semantics with domain-specific modeling constructs. Two areas of particular…