Hello Everyone,
Next week's seminar will feature Zi Wang, who is presenting
"Efficient
Symbolic Reasoning for Neural-Network Verification". Feel free to read more in the abstract below! Like always, it will start at
1:05pm in room 3310 or on zoom.
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.
Lauren Neudorf
Program Manager, MadPL Research Group
University of Wisconsin-Madison
Department of Computer Sciencesâ
(716) 704-4463
(she/her/hers)
|
|