9,766 followers
The most recent thing I've found on NN verification is this CAV 2010 paper: https://t.co/mWtC35jpXs What else? https://t.co/Xqb2fJGgD1
The most recent thing I've found on NN verification is this CAV 2010 paper: https://t.co/mWtC35jpXs What else? https://t.co/Xqb2fJGgD1
@bobpoekert Maybe the joke's on me for being dismissive of this -- it might be that the approach in https://t.co/mWtC35jpXs could be used...
@hypotext Maybe the joke's on me for being dismissive of this -- it might be that the approach in https://t.co/mWtC35jpXs could be used...