Exploiting Connections between Lipschitz Structures for Certifiably Robust Deep Equilibrium Models Aaron J. Havens