1 code implementation • 15 Jul 2022 • Ronghui Mu, Wenjie Ruan, Leandro S. Marcolino, Qiang Ni
Thus, we propose an efficient verification framework, 3DVerifier, to tackle both challenges by adopting a linear relaxation function to bound the multiplication layer and combining forward and backward propagation to compute the certified bounds of the outputs of the point cloud models.