Probabilistic Symbolic Analysis of Neural Networks

Hayes Converse, Antonio Filieri, Divya Gopinath, Corina S. Pasareanu. Probabilistic Symbolic Analysis of Neural Networks. In Marco Vieira, Henrique Madeira, Nuno Antunes, Zheng Zheng 0001, editors, 31st IEEE International Symposium on Software Reliability Engineering, ISSRE 2020, Coimbra, Portugal, October 12-15, 2020. pages 148-159, IEEE, 2020. [doi]

Abstract

Abstract is missing.