|
Hello,
Just a reminder that our seminar today is at 1:05pm in room 3310, and will feature Zi Wang, who will be presenting ""Efficient
Symbolic Reasoning for Neural-Network Verification" The abstract is below for further reading. Hope you can attend.
Abstract:
"In
this talk, I will present a novel program reasoning framework for neural-network verification, referred to as symbolic reasoning. The key components of the framework are the symbolic domain and the quadratic relation. This framework can verify various neural-network
properties under different scenarios, especially those that appear challenging for non-symbolic domains. Moreover, it introduces new representations and perspectives of the verification tasks, which establishes connections between those tasks and many other
mathematical subjects."
If
you would like to sign up to give a talk, please use this sign-up
sheet.
Best,
Lauren Neudorf
Program Manager, MadPL Research Group
University of Wisconsin-Madison
Department of Computer Sciencesâ
(716) 704-4463
(she/her/hers)
|
![[Computer Systems Lab]](http://www.cs.wisc.edu/pics/csl_logo.gif){kind=logo}