A Review of Formal Methods applied to Machine Learning | Read Paper on Bytez