TY - RPRT TI - Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach AU - Saber Jafarpour AU - Matthew Abate AU - Alexander Davydov AU - Francesco Bullo AU - Samuel Coogan PY - 2021 UR - https://arxiv.org/abs/2112.05310 ID - 2112.05310 ER -