1. Embedding symbolic knowledge into deep networks;xie;Advances in neural information processing systems,2019
2. Formal security analysis of neural networks using symbolic intervals;wang;27th USENIX Security Symposium (USENIX Security 18),2018
3. Efficient probabilistic logic reasoning with graph neural networks;zhang;International Conference on Learning Representations,2019
4. Neural network branching for neural network verification;lu;International Conference on Learning Representations,2020
5. Machine Unlearning