PCV: A Point Cloud-Based Network Verifier
Not on the map. Why?
Abstract (arXiv)
3D vision with real-time LiDAR-based point cloud data became a vital part of autonomous system research, especially perception and prediction modules use for object classification, segmentation, and detection. Despite their success, point cloud-based network models are vulnerable to multiple adversarial attacks, where the certain factor of changes in the validation set causes significant performance drop in well-trained networks. Most of the existing verifiers work perfectly on 2D convolution. Due to complex architecture, dimension of hyper-parameter, and 3D convolution, no verifiers can perform the basic layer-wise verification. It is difficult to conclude the robustness of a 3D vision model without performing the verification. Because there will be always corner cases and adversarial input that can compromise the model's effectiveness. In this project, we describe a point cloud-based network verifier that successfully deals state of the art 3D classifier PointNet verifies the robustness by generating adversarial inputs. We have used extracted properties from the trained PointNet and changed certain factors for perturbation input. We calculate the impact on model accuracy versus property factor and can test PointNet network's robustness against a small collection of perturbing input states resulting from adversarial attacks like the suggested hybrid reverse signed attack. The experimental results reveal that the resilience property of PointNet is affected by our hybrid reverse signed perturbation strategy
Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 21 of its 24 references that are in the map. First posted on arXiv 27 Jan 2023.
Builds on
21 of 24 references.
References · 21
- 2014Explaining and Harnessing Adversarial Examplescited by 7,364
- 2016PointNet: Deep Learning on Point Sets for 3D Classification and Segmentationcited by 5,248
- 2017PointNet++: Deep Hierarchical Feature Learning on Point Sets in a Metric Spacecited by 4,401
- 2017ScanNet: Richly-annotated 3D Reconstructions of Indoor Scenescited by 3,117
- 2015ShapeNet: An Information-Rich 3D Model Repositorycited by 2,897
- 2017VoxelNet: End-to-End Learning for Point Cloud Based 3D Object Detectioncited by 1,323
- 2018PointRCNN: 3D Object Proposal Generation and Detection from Point Cloudcited by 941
- 2017Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networkscited by 744
- 2018PartNet: A Large-scale Benchmark for Fine-grained and Hierarchical Part-level 3D Object Understandingcited by 526
- 2019Point-Voxel CNN for Efficient 3D Deep Learningcited by 343
- 2017Formal Verification of Piece-Wise Linear Feed-Forward Neural Networkscited by 242
- 2017Formal Guarantees on the Robustness of a Classifier against Adversarial Manipulationcited by 185
9 more
- 2018Efficient Formal Safety Analysis of Neural Networkscited by 165
- 2017An approach to reachability analysis for feed-forward ReLU neural networkscited by 127
- 2018A Dual Approach to Scalable Verification of Deep Networkscited by 125
- 2017Output Reachable Set Estimation and Verification for Multi-Layer Neural Networkscited by 80
- 2020Verification of Deep Convolutional Neural Networks Using ImageStarscited by 75
- 2018ApolloCar3D: A Large 3D Car Instance Understanding Benchmark for Autonomous Drivingcited by 59
- 2017Output Range Analysis for Deep Neural Networkscited by 30
- 2021DNNV: A Framework for Deep Neural Network Verificationcited by 23
- 2018Formal Verification of CNN-based Perception Systemscited by 13
Built on by
Not cited yet.