Hacker News Reader

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 :)

Are there any specific mathematical properties that you find beautiful that arise out of this field?

I personally find the reasoning on graphs(neurons) to make the verification tractable really beautiful. :)