M. Pawan Kumar
 
 

HOME

RESEARCH

PUBLICATIONS

GROUP

TALKS

TEACHING

CV

 

 

 

 

 

 

NOTES

Project Notes: Neural Network Verification
PDF

Lecture: Neural Network Verification
PPT   PDF

COURSE MATERIAL

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

ERRATA

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

  • 13th November, 2019: Sign error in dataset removed. Please make sure you are running your experiments on the corrected dataset.

  • 21st November, 2019: Corrected some typos in equation (7) in the notes.