SMLE: Safe Machine Learning via Embedded Overapproximation | Read Paper on Bytez