Reconciling Partial and Local Invertibility. - Anders Ågren Thuné; Kazutaka Matsuda; Meng Wang 002 (ESOP (2), 2024)

Repr Types: One Abstraction to Rule Them All. - Viktor Palmkvist; Anders Ågren Thuné; Elias Castegren; David Broman (CoRR, 2024)

CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming. - Oscar Eriksson; Anders Ågren Thuné; Johannes Borgström; David Broman (CoRR, 2025)