Comment by r0dms

Neural network verification is one of the most exciting research areas IMO, but is still little understood! The maths behind it are beautiful btw.

Good job putting this together :)