Permutation Invariance of Deep Neural Networks with ReLUs

Diganta Mukhopadhyay, Kumar Madhukar, Mandayam K. Srivas. Permutation Invariance of Deep Neural Networks with ReLUs. In Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez 0001, editors, NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings. Volume 13260 of Lecture Notes in Computer Science, pages 318-337, Springer, 2022. [doi]

Authors

Diganta Mukhopadhyay

This author has not been identified. Look up 'Diganta Mukhopadhyay' in Google

Kumar Madhukar

This author has not been identified. Look up 'Kumar Madhukar' in Google

Mandayam K. Srivas

This author has not been identified. Look up 'Mandayam K. Srivas' in Google