-
๐ผ Research Scientist at the VeriVITAL group at Vanderbilt University.
-
๐ Over 20 publications
-
๐คต Developer of the open source Neural Network Verification Tool, NNV
-
โค๏ธ Python, MATLAB and tennis
mldiego / nnv Goto Github PK
View Code? Open in Web Editor NEWThis project forked from verivital/nnv
Neural Network Verification Software Tool
Home Page: http://www.verivital.com