TY  - RPRT
TI  - CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming
AU  - Oscar Eriksson
AU  - Anders Ågren Thuné
AU  - Johannes Borgström
AU  - David Broman
PY  - 2025
UR  - https://arxiv.org/abs/2503.13970
ID  - 2503.13970
ER  -