[AI Seminar Series] Seminar by Prof. Zhouxing Shi, Friday Oct.31st, 12-1pm, MRB Seminar Room

[Vassilis Tsotras]

The next AI Seminar will be next Friday October 31st, 12:00-1:00pm at the
MRB Seminar Room (1st floor).

*** Pizza and refreshments will be provided ****

To keep track of the number of attendees, please *register* at:
https://www.eventbrite.com/e/ai-seminar-series-tickets-1884219173269


The talk will be given by *Prof. Zhouxing Shi,* Department of Computer
Science and Engineering, UCR

TITLE: Formal verification and verification-aware training for trustworthy
AI

ABSTRACT:
The revolutionary capabilities of AI with machine learning have enabled an
increasingly broad range of applications, which has brought many new
challenges in ensuring the trustworthiness of AI applications. In this
talk, I will present our research on trustworthy AI with verifiable
guarantees. I will first introduce our frameworks for the automatic formal
verification of AI models as general computational graphs, to support
general neural network architectures, nonlinearities, and safety properties
being verified. I will also talk about our work on testing the soundness of
neural network verifiers for the reliability of verifiers themselves. Then,
I will present our verification-aware neural network training techniques
for producing verification-friendly AI models with stronger verifiability.
Finally, I will also discuss applications of our verification and
verification-aware training in synthesizing verifiably stable neural
network-based controllers for nonlinear dynamical systems.

Bio:
Zhouxing Shi recently joined UC Riverside as an Assistant Professor in
Computer Science and Engineering in July 2025. He completed his Ph.D. at
the UCLA Computer Science Department. His research focuses on machine
learning and trustworthy AI for building more reliable AI models. His
recent research topics mostly involve the robustness, safety, and
verification for AI models.

------------------------------------
Sponsored by the RAISE at UCR Institute, the AI Seminar Series presents
speakers working on cutting edge Foundational AI or applying AI in their
research. The goal of these seminars is to inform the UCR community about
current trends in AI research and promote collaborations between faculty in
this emerging field. These seminars are open to interested faculty and
graduate/undergraduate students. Please forward this email to other
colleagues or students in your lab that may be interested. After the seminar a
discussion will follow for questions, open problems, ideas for possible
collaborations etc.

Sincerely,
Vassilis Tsotras
Professor, CSE Department
co-Director, RAISE at UCR Institute

Amit Roy-Chowdhury
Professor, ECE Department
co-Director, RAISE at UCR Institute
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.ucr.edu/pipermail/raise-seminar/attachments/20251025/5f2dbabc/attachment.htm>