Topics Related to Deep Learning and Formal Sciences: