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

[scholaronroad]

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