2 code implementations • 7 Sep 2023 • Edoardo Manino, Rafael Sá Menezes, Fedor Shmarov, Lucas C. Cordeiro
Safety-critical systems with neural network components require strong guarantees.
Density Estimation