Verifying Neural Networks with SMT: An Experimental Evaluation | IEEE Conference Publication | IEEE Xplore