Picture for Dan R. Ghica

Dan R. Ghica

Functorial String Diagrams for Reverse-Mode Automatic Differentiation

Add code
Jul 28, 2021
Figure 1 for Functorial String Diagrams for Reverse-Mode Automatic Differentiation
Figure 2 for Functorial String Diagrams for Reverse-Mode Automatic Differentiation
Figure 3 for Functorial String Diagrams for Reverse-Mode Automatic Differentiation
Figure 4 for Functorial String Diagrams for Reverse-Mode Automatic Differentiation
Viaarxiv icon

A Constructive, Type-Theoretic Approach to Regression via Global Optimisation

Add code
Jun 23, 2020
Figure 1 for A Constructive, Type-Theoretic Approach to Regression via Global Optimisation
Viaarxiv icon