1. Beta-crown: Efficient bound propagation with per-neuron split constraints for neural network robustness verification;wang;34th Annual Conference on Neural Information Processing Systems (NeurIPS 2021),0
2. Efficient formal safety analysis of neural networks;wang;31st Annual Conference on Neural Information Processing Systems (NeurIPS 2018),0
3. Verification, Model Checking, and Abstract Interpretation
4. Formal security analysis of neural networks using symbolic intervals;wang;27th USENIX Security Symposium (USENIX Security 2018),0