|M. Pawan Kumar|
Project Notes: Neural Network Verification
Lecture: Neural Network Verification
Take care when unpacking archives not to overwrite existing material with the same file names. The following zip file should be handled properly by any OS and will unzip into directory B1 and subdirectories. The gzipped tar file works on Linux (use the command "tar zvxf B1.tgz").
Dataset and Project Notes
Any errors found in the notes/data will be discussed here.