Picture for David I. Spivak

David I. Spivak

MIT

Dynamic categories, dynamic operads: From deep learning to prediction markets

Add code
May 08, 2022
Figure 1 for Dynamic categories, dynamic operads: From deep learning to prediction markets
Viaarxiv icon

Deep neural networks as nested dynamical systems

Add code
Nov 01, 2021
Figure 1 for Deep neural networks as nested dynamical systems
Figure 2 for Deep neural networks as nested dynamical systems
Figure 3 for Deep neural networks as nested dynamical systems
Figure 4 for Deep neural networks as nested dynamical systems
Viaarxiv icon

Learners' languages

Add code
Mar 01, 2021
Figure 1 for Learners' languages
Viaarxiv icon

A Compositional Sheaf-Theoretic Framework for Event-Based Systems

Add code
Jan 26, 2021
Figure 1 for A Compositional Sheaf-Theoretic Framework for Event-Based Systems
Figure 2 for A Compositional Sheaf-Theoretic Framework for Event-Based Systems
Viaarxiv icon

Monitoring and Diagnosability of Perception Systems

Add code
Nov 19, 2020
Figure 1 for Monitoring and Diagnosability of Perception Systems
Figure 2 for Monitoring and Diagnosability of Perception Systems
Figure 3 for Monitoring and Diagnosability of Perception Systems
Figure 4 for Monitoring and Diagnosability of Perception Systems
Viaarxiv icon

Backprop as Functor: A compositional perspective on supervised learning

Add code
Dec 13, 2017
Figure 1 for Backprop as Functor: A compositional perspective on supervised learning
Figure 2 for Backprop as Functor: A compositional perspective on supervised learning
Viaarxiv icon

Ologs: a categorical framework for knowledge representation

Add code
Aug 07, 2011
Figure 1 for Ologs: a categorical framework for knowledge representation
Viaarxiv icon