Recent News
IARPA TrojAI Phase 2
Our team (with SRI International and Stony Brook) has been selected for Phase 2 of the TrojAI program. We will develop new technologies to defend AI systems from Trojan attacks.
New Sponsored Project by Intuit
New project sponsored by Intuit on developing a unified attribution analysis framework for interpretable deep learning.
Wenchao will be chairing the TPC subcommittee on Autonomous Systems (Automotive, Robotics, Drones) at DAC 2023
Please consider sending your strong papers to this track: https://www.dac.com/Conference/2023-Call-for-Contributions
POLAR accepted at ATVA’22
Congratulations to Jiameng and our wonderful collaborators. POLAR substantially outperforms current SOTA techniques for reachability analysis of neural network-controlled systems. arXiv preprint: https://arxiv.org/abs/2106.13867
Congrats to Jiameng on successfully defending his Ph.D. Thesis!
Invited to Chair the Embedded, Cyber-Physical, and IoT Systems Track at ASP-DAC 2023
Please consider sending your strong papers to this track.
Two Papers Accepted at ICML’22
Weichao's paper on Symbolic Reward Machine and Jiameng's paper on Multi-View Information Bottleneck for Deep Reinforcement Learning have been accepted at ICML'22. Congrats to Weichao and Jiameng!
Invited to Serve on the Editorial Board of TCAD
Wenchao will serve as an Associate Editor in the Cyber-Physical Systems and Internet of Things area.
Paper Accepted at ICLR’22
Our new paper on neural network repair has been accepted at ICLR'22. Congrats to Feisi!
Paper Accepted at AAAI’22
Our paper "Programmatic Reward Design by Example" has been accepted at AAAI'22. Congrats to Weichao!