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

[Vassilis Tsotras]

Reminder for the AI Seminar, this Friday at noon. Please register with the
link below if you plan to attend.

Sincerely,
V. Tsotras

---------------------------
On Sat, Oct 25, 2025 at 1:18 PM Vassilis Tsotras <vassilis.tsotras at ucr.edu>
wrote:

> 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/20251029/6a53d2d3/attachment.htm>