Formal And Statistical Certification Of Robustness And Fairness For Ai