[CMU AI Seminar] April 18 at 12pm (GHC 6115 & Zoom) -- Sayan Mitra (UIUC) -- Assuring Safety of Learning-Enabled Systems with Perception Contracts -- AI Seminar sponsored by SambaNova Systems

[Asher Trockman]

Dear all,

We look forward to seeing you *this Tuesday (4/18)* 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 (4/18), *Sayan Mitra* (UIUC) will be giving a talk titled
*"**Assuring
Safety of Learning-Enabled Systems with Perception Contracts**".*

*Title*: Assuring Safety of Learning-Enabled Systems with Perception
Contracts

*Talk Abstract*: Formal verification of deep learning models remains
challenging, and yet they are becoming integral in many safety-critical
autonomous systems. We present an invariance and abstraction-based method
for reasoning about end-to-end safety of such learning-enabled systems. The
method constructs approximations of the DNN or perception models, called
perception contracts, using system-level safety requirements and program
analysis. Mathematically proving that a given perception model conforms to
a contract remains a challenge, and may well be impractical, but empirical
measures of conformance can provide confidence to safety claims. The
resulting contracts are low-dimensional, intelligible, and can be used to
verify end-to-end safety. We will discuss vision-based lane keeping and
several other ongoing applications of this method and related future
research challenges.

*Speaker Bio:* Sayan is a Professor and John Bardeen Faculty Scholar of ECE
at UIUC. Sayan received his PhD from MIT and his research is on formal
verification and safe autonomy. His group is well-known for developing
algorithms for data-driven verification and synthesis, some of which are
being commercialized. His textbook on verification of cyber-physical
systems was published in 2021.  Former PhD students from his group are now
professors at Vanderbilt, NC Chapel Hill, MIT, and WashU. The group's work
has been recognized with ACM Doctoral Dissertation Award, NSF CAREER Award,
AFOSR YIP,  and several best paper awards.

*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/20230417/eca8ee22/attachment.html>