Towards verifying the geometric robustness of large-scale neural networks

F Wang, P Xu, W Ruan, X Huang - … of the AAAI Conference on Artificial …, 2023 - ojs.aaai.org
Deep neural networks (DNNs) are known to be vulnerable to adversarial geometric
transformation. This paper aims to verify the robustness of large-scale DNNs against the …

Towards verifying the geometric robustness of large-scale neural networks

F Wang, P Xu, W Ruan, X Huang - Proceedings of the Thirty-Seventh …, 2023 - dl.acm.org
Deep neural networks (DNNs) are known to be vulnerable to adversarial geometric
transformation. This paper aims to verify the robustness of large-scale DNNs against the …

Towards Verifying the Geometric Robustness of Large-scale Neural Networks

F Wang, P Xu, W Ruan, X Huang - arXiv preprint arXiv:2301.12456, 2023 - arxiv.org
Deep neural networks (DNNs) are known to be vulnerable to adversarial geometric
transformation. This paper aims to verify the robustness of large-scale DNNs against the …

Towards Verifying the Geometric Robustness of Large-scale Neural Networks

F Wang, P Xu, W Ruan, X Huang - arXiv e-prints, 2023 - ui.adsabs.harvard.edu
Deep neural networks (DNNs) are known to be vulnerable to adversarial geometric
transformation. This paper aims to verify the robustness of large-scale DNNs against the …

[PDF][PDF] Towards Verifying the Geometric Robustness of Large-Scale Neural Networks

F Wang, P Xu, W Ruan, X Huang - 2023 - researchgate.net
Deep neural networks (DNNs) are known to be vulnerable to adversarial geometric
transformation. This paper aims to verify the robustness of large-scale DNNs against the …

[PDF][PDF] Towards Verifying the Geometric Robustness of Large-Scale Neural Networks

F Wang, P Xu, W Ruan, X Huang - 2023 - researchgate.net
Deep neural networks (DNNs) are known to be vulnerable to adversarial geometric
transformation. This paper aims to verify the robustness of large-scale DNNs against the …