JAX library for neural network verification

We have released our NeurIPS papers and an accompanying JAX library for neural network verification at https://deepmind.com/research/open-source/efficient-and-tight-neural-network-verification-in-jax. Be sure to check it out!

Krishnamurthy (Dj) Dvijotham
Krishnamurthy (Dj) Dvijotham
Staff Research Scientist, DeepMind

My research interests are in developing verifiable guarantees for complex systems, with a current focus on systems arising from deep learning