vwlin / t4v Goto Github PK
View Code? Open in Web Editor NEWThis is the repository for "T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification", which focuses on improving the scalability of NN verification through exploring which NN architectures lead to more scalable verification.