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