Neuro-Symbolic Verification of Deep Neural Networks.

Xuan Xie, Kristian Kersting, Daniel Neider

Browse the full IJCAI paper archive.