3 ms·
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 put
by r0dms 5y 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 :)
- scholaronroad 5y agoAre 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. :)