"Toward Scalable Verification for Safety-Critical Deep Networks" at SysML 2018

1 · Lindsey Kuper · Feb. 14, 2018, 7:40 p.m.
This Friday, I’m headed over to SysML to present “Toward Scalable Verification for Safety-Critical Deep Networks”, co-authored with Guy Katz, Justin Gottschlich, Kyle Julian, Clark Barrett, and Mykel Kochenderfer. Here’s our poster! Part of this is just a summary of my co-authors’ very cool work on Reluplex, which they’ve been working on since well before I got involved. For me, though, this isn’t just about Reluplex or even just about neural network verification, but about a more general id...