Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression

Weiming Xiang, Zhongzhu Shao

In this paper, we propose a concept of approximate bisimulation relation for feedforward neural networks. In the framework of approximate bisimulation relation, a novel neural netw…