souradeep-111 / verification_guided_training Goto Github PK
View Code? Open in Web Editor NEWThe code here implements verification guided training scheme for neural network plant models. The verification scheme uses SHERLOCK to implement range propagation idea, and Tensorflow to train the Neural Network.
License: MIT License