Neuro-Symbolic Verification of Deep Neural Networks

Xuan Xie, Kristian Kersting, Daniel Neider

• Video #1 Length : 00:01:25 on SlidesLive
• Video #2 Length : 00:05:39 on SlidesLive