For anyone interested in elegant implementations of state of the art algorithms for verification, there is a nice library in Jax: https://deepmind.com/research

For anyone interested in elegant implementations of state of the art algorithms for verification, there is a nice library in Jax: https://deepmind.com/research/open-source/efficient-and-tight-neural-network-verification-in-jax https://deepmind.com/research/open-source/efficient-and-tigh...