top | item 28647213 (no title) r0dms | 4 years ago 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 :) discuss order hn newest scholaronroad|4 years ago 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. :)
scholaronroad|4 years ago 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. :)
scholaronroad|4 years ago
I personally find the reasoning on graphs(neurons) to make the verification tractable really beautiful. :)