Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report | IEEE Conference Publication | IEEE Xplore