Interpreting Robustness Proofs of Deep Neural Networks - Banerjee, Debangshu; Singh, Avaljot; Singh, Gagandeep (International Conference on Learning Representations, 2024)