3DVerifier: Efficient Robustness Verification for 3D Point Cloud Models

Ronghui Mu, Wenjie Ruan, Leandro S. Marcolino +1

3D point cloud models are widely applied in safety-critical scenes, which delivers an urgent need to obtain more solid proofs to verify the robustness of models. Existing verificat…