“…Deterministic verification approaches ensure conservative bounds (Chen et al, 2013a;Gowal et al, 2018;Mirman et al, 2018;Bunel et al, 2020a;Kapela et al, 2020;Gruenbacher et al, 2020), but often sacrifice speed and accuracy Figure 2: GoTube in a nutshell. The center x 0 of ball B 0 = B(x 0 , δ 0 ), with δ 0 the initial perturbation, and samples x drawn uniformly from B 0 's surface, are numerically integrated in time to χ(t j , x 0 ) and χ(t j , x), respectively.…”