Topics Related to Machine Learning and Verification services: