Project Notes: Neural Network Verification
PDF

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
ZIP   TGZ

Any errors found in the notes/data will be discussed here.