Navigation
Home
Conferences
Future Conferences
Past Conferences
Proceedings
IJCAI 2023 Proceedings
IJCAI 2022 Proceedings
All Proceedings
Awards
Trustees/officers
Current trustees
Trustees Elect
IJCAI Secretariat
IJCAI Sponsorship and Publicity Officers
IJCAI Team
Local Arrangements Chairs
Former Trustees serving on the Executive Committee
Other Former Officers
AI Journal
About
About IJCAI
Contact Information
Neuro-Symbolic Verification of Deep Neural Networks
Xuan Xie, Kristian Kersting, Daniel Neider
Video #1 Length : 00:01:25
Video #2 Length : 00:05:39
