Don't Lie to Me! Robust and Efficient Explainability With Verified Perturbation Analysis | Read Paper on Bytez