172 citations · 796 across the 66 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.CT2017
Backprop as Functor: A compositional perspective on supervised learning
Brendan Fong, David I. Spivak, Rémy Tuyéras
A supervised learning algorithm searches over a set of functions parametrised by a space to find the best approximation to some ideal function . It d…
math.CT2017★ 11 cited
Temporal Type Theory: A topos-theoretic approach to systems and behavior
Patrick Schultz, David I. Spivak
This book introduces a temporal type theory, the first of its kind as far as we know. It is based on a standard core, and as such it can be formalized in a proof assistant such as…