Topics Related to Deep Learning, Formal Sciences and Math: