Search Results for author:
Found 1 papers, 0 papers with code
On Neural Network Equivalence Checking using SMT Solvers
Two pretrained neural networks are deemed equivalent if they yield similar outputs for the same inputs.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
