interested in verification of machine learning