Picture for Jianlin Li

Jianlin Li

Improving Neural Network Verification through Spurious Region Guided Refinement

Add code
Oct 15, 2020
Figure 1 for Improving Neural Network Verification through Spurious Region Guided Refinement
Figure 2 for Improving Neural Network Verification through Spurious Region Guided Refinement
Figure 3 for Improving Neural Network Verification through Spurious Region Guided Refinement
Figure 4 for Improving Neural Network Verification through Spurious Region Guided Refinement
Viaarxiv icon

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification

Add code
Feb 26, 2019
Figure 1 for Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
Figure 2 for Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
Figure 3 for Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
Viaarxiv icon