[HN Gopher] Introduction to Neural Network Verification [pdf] ___________________________________________________________________ Introduction to Neural Network Verification [pdf] Author : belter Score : 40 points Date : 2021-09-23 07:45 UTC (1 days ago) (HTM) web link (arxiv.org) (TXT) w3m dump (arxiv.org) | tartakovsky wrote: | Does anyone know some employers that are hiring for this stuff in | industry? I can't imagine many startups apply this stuff due to | prohibitive costs. Research in this area is obviously orders of | magnitude more computationally taxing than simply training neural | networks. | fozzyfozfoz wrote: | I agree, it's going to cost a lot of money to figure out if | that shit actually works. | ptsankov1 wrote: | @tartakovsky, check out https://latticeflow.ai | ansgri wrote: | Any proper selfdriving or other advanced robotics company | should do. In my company (specialized autonomous vehicles) | we'll probably have such role soon. | r0dms wrote: | 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 :) | sadfev wrote: | This is something I am very interested in, There's lot of work to | be done when it comes to building verified and explainable | learning systems (not just neural networks). | | I think the verification tools are finally getting better to the | point of them being useful for this kind of stuff. L ___________________________________________________________________ (page generated 2021-09-24 23:00 UTC)