Excited to share #NeurIPS2020 papers on efficient and tight neural network verification, based on efficient solvers for LP and SDP relaxations.
— DeepMind (@DeepMind) October 30, 2020
Implementations of these in JAX are also available as part of the new jax_verify library, described here: https://t.co/wh9fgit7w7 pic.twitter.com/PTRpNhP898
from Twitter https://twitter.com/DeepMind
October 30, 2020 at 09:23AM
via IFTTT
No comments:
Post a Comment