You might be interested in this paper on ‘Backprop as Functor’.
(I’m personally not compelled by the safety case for such work, but YMMV, and I think I know at least a few people who are more optimistic.)
You might be interested in this paper on ‘Backprop as Functor’.
(I’m personally not compelled by the safety case for such work, but YMMV, and I think I know at least a few people who are more optimistic.)