[CMU AI Seminar] February 21 at 12pm (GHC 6115 & Zoom) -- Chao Wang (USC) -- Differential Verification of Deep Neural Networks -- AI Seminar sponsored by SambaNova Systems

[Asher Trockman]

Dear all,

We look forward to seeing you *this Tuesday (2/21)* from *1**2:00-1:00 PM
(U.S. Eastern time)* for the next talk of this semester's *CMU AI Seminar*,
sponsored by SambaNova Systems <https://sambanova.ai/>. The seminar will be
held in GHC 6115 *with pizza provided *and will be streamed on Zoom.
*Note:* The
speaker will be remote.

To learn more about the seminar series or to see the future schedule,
please visit the seminar website <http://www.cs.cmu.edu/~aiseminar/>.

This Tuesday (2/21), *Chao Wang* (USC) will be giving a talk titled
*"**Differential
Verification of Deep Neural Networks**".*

*Title*: Differential Verification of Deep Neural Networks

*Talk Abstract*: Deep neural networks have become an integral component of
many systems for which ensuring safety and robustness is crucial. In this
talk, we present several abstract interpretation based methods for
efficient verification of a class of safety properties called differential
properties. While we focus on neural network equivalence as the canonical
example, other interesting properties concerning input sensitivity and
stability can also be cast as differential properties. Our key insight is
in deriving sound abstractions that relate the intermediate computations of
two structurally-similar neural networks, to accurately bound their maximum
difference over all inputs. We also propose bound synthesis techniques for
automatically generating linear abstractions of arbitrary nonlinear
functions, to more efficiently handle architectures and activation
functions beyond feed-forward ReLU networks.

*Speaker Bio:* Chao Wang is an Associate Professor of Computer Science at
the University of Southern California (USC). He develops formal
verification and program synthesis techniques for principled design of
systems to improve safety and security. He has published two books and more
than 100 papers. The awards and recognition he received include a Young
Investigator award from the U.S. Office of Naval Research (ONR), a CAREER
award from the National Science Foundation (NSF), two ACM SIGSOFT
Distinguished Paper awards, and a Best Journal Paper of the Year award from
ACM Transactions on Design Automation of Electronic Systems.

*In person: *GHC 6115
*Zoom Link*:
https://cmu.zoom.us/j/99510233317?pwd=ZGx4aExNZ1FNaGY4SHI3Qlh0YjNWUT09

Thanks,
Asher Trockman
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.srv.cs.cmu.edu/pipermail/ai-seminar-announce/attachments/20230219/fee2be8c/attachment.html>