TY  - RPRT
TI  - On Neural Network Equivalence Checking using SMT Solvers
AU  - Charis Eleftheriadis
AU  - Nikolaos Kekatos
AU  - Panagiotis Katsaros
AU  - Stavros Tripakis
PY  - 2022
UR  - https://arxiv.org/abs/2203.11629
ID  - 2203.11629
ER  -