73 followers
RT @taylorjohnson: Had a great time at @confCAV last week! Diego presented new version of our Neural Network Verification (NNV) tool, and I…
RT @taylorjohnson: Had a great time at @confCAV last week! Diego presented new version of our Neural Network Verification (NNV) tool, and I…
Had a great time at @confCAV last week! Diego presented new version of our Neural Network Verification (NNV) tool, and I presented about the Verification of Networks Competition (VNN-COMP). Thanks to organizers & attendees! https://t.co/W9kMoHpnXB