CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper). - Pawel Sobocinski 001; Paul W. Wilson 002; Fabio Zanasi (CALCO, 2019)

Reverse Derivative Ascent: A Categorical Approach to Learning Boolean Circuits. - Paul W. Wilson 002; Fabio Zanasi (ACT, 2020)

The Cost of Compositionality: A High-Performance Implementation of String Diagram Composition. - Paul W. Wilson 002; Fabio Zanasi (ACT, 2021)

Category Theory in Machine Learning. - Dan Shiebler; Bruno Gavranovic; Paul W. Wilson 002 (CoRR, 2021)

Categorical Foundations of Gradient-Based Learning. - Geoffrey S. H. Cruttwell; Bruno Gavranovic; Neil Ghani; Paul W. Wilson 002; Fabio Zanasi (ESOP, 2022)

Categories of Differentiable Polynomial Circuits for Machine Learning. - Paul W. Wilson 002; Fabio Zanasi (ICGT, 2022)

String Diagrams for Non-Strict Monoidal Categories. - Paul W. Wilson 002; Dan R. Ghica; Fabio Zanasi (CSL, 2023)

Data-Parallel Algorithms for String Diagrams. - Paul W. Wilson 002; Fabio Zanasi (CoRR, 2023)

An axiomatic approach to differentiation of polynomial circuits. - Paul W. Wilson 002; Fabio Zanasi (J. Log. Algebraic Methods Program., 2023)

Deep Learning with Parametric Lenses. - Geoffrey S. H. Cruttwell; Bruno Gavranovic; Neil Ghani; Paul W. Wilson 002; Fabio Zanasi (CoRR, 2024)

String diagrams for Strictification and Coherence. - Paul W. Wilson 002; Dan R. Ghica; Fabio Zanasi (Log. Methods Comput. Sci., 2024)