Differentiable Programming: Efficient Smoothing of Control-Flow-Induced Discontinuities. - Sebastian Christodoulou; Uwe Naumann (CoRR, 2023)