3DCertify is the first verifier to certify robustness of point cloud models against semantic transformations and point perturbations - View it on GitHub