Xuankang Lin, Purdue University
ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks
Sep 26
There will be no industry meeting this week.
Oct 10
There will be no industry meeting this week.
Nov 28
There will be no industry meeting this week.
Dec 19
There will be no industry meeting this week.
Dec 26
There will be no industry meeting this week.
Jan 2
There will be no industry meeting this week.
Jan 9