Topics Related to Deep Learning, Formal Sciences and Research: