Efficient and tight neural network verification in JAX

Open in new window