ExLipBaB: Exact Lipschitz Constant Computation for Piecewise Linear Neural Networks. - Tom A. Splittgerber (CoRR, 2026)