Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Collection of resources for research concerning Machine Learning and Formal Methods.

Contains the aggregated primary studies found during the systematic mapping study over AI application in the field of formal methods.