-
๐ผ 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 / nnvmt Goto Github PK
View Code? Open in Web Editor NEWThis project forked from verivital/nnvmt
NNVMT: A Translation Tool for Feedforward Neural Network Models
License: MIT License