Timezone: »

Workshop on Formal Verification of Machine Learning
Huan Zhang · Leslie Rice · Kaidi Xu · aditi raghunathan · Wan-Yi Lin · Cho-Jui Hsieh · Clark Barrett · Martin Vechev · Zico Kolter

Fri Jul 22 05:45 AM -- 03:00 PM (PDT) @ Room 308
Event URL: https://ml-verification.com »

Formal verification of machine learning-based building blocks is important for complex and critical systems such as autonomous vehicles, medical devices, or cybersecurity systems where guarantees on safety, fault tolerance and correctness are essential. Formal verification of machine learning is an emerging and interdisciplinary field, intersecting with fields of computer-aided verification, programming languages, robotics, computer security, and optimization, with many challenging open problems. This workshop aims to raise awareness of the importance of formal verification methods in the machine learning community and to bring together researchers and practitioners interested in this emerging field from a broad range of disciplines and backgrounds. Organizers of this workshop include pioneering proponents of machine learning verification and six confirmed invited speakers who have solid works in this field with diverse research and demographic backgrounds. The workshop includes posters, contributed talks, and a panel to encourage novel contributed work and interdisciplinary discussions on open challenges.

Author Information

Huan Zhang (CMU)
Leslie Rice (Carnegie Mellon University)
Kaidi Xu (Drexel University)
aditi raghunathan (stanford university)
Wan-Yi Lin (Robert Bosch LLC)
Cho-Jui Hsieh (UCLA)
Clark Barrett (Stanford University)
Martin Vechev (ETH Zurich)
Zico Kolter (Carnegie Mellon University / Bosch Center for AI)

More from the Same Authors