On Neural Network Equivalence Checking using SMT Solvers

Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros +1

Two pretrained neural networks are deemed equivalent if they yield similar outputs for the same inputs. Equivalence checking of neural networks is of great importance, due to its u…