News for hackers. Stuff that matters.
Re:Introduction to Neural Network Verification [pdf] by tartakovsky on Friday September 24, 2021 @04:29PM (#28647425)
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.
Re:Introduction to Neural Network Verification [pdf] by ansgri on Friday September 24, 2021 @04:47PM (#28647620)
Any proper selfdriving or other advanced robotics company should do. In my company (specialized autonomous vehicles) we’ll probably have such role soon.
Re:Introduction to Neural Network Verification [pdf] by orange3xchicken on Friday September 24, 2021 @11:04PM (#28650106)
Maybe Bosch? Prof. Zico Kolter from CMU is a chief scientist associated with them, and his group does a lot of really good work in the ml verification space (e.g. the first randomized smoothing and the Wong & Kolter certificates).
Re:Introduction to Neural Network Verification [pdf] by fozzyfozfoz on Friday September 24, 2021 @04:33PM (#28647456)
I agree, it's going to cost a lot of money to figure out if that shit actually works.