3 citations · 6 across the 7 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2022
Neural network layers as parametric spans
Mattia G. Bergomi, Pietro Vertechi
Properties such as composability and automatic differentiation made artificial neural networks a pervasive tool in applications. Tackling more challenging problems caused neural ne…
math.CT2022★ 3 cited
Dependent Optics
Pietro Vertechi
A wide variety of bidirectional data accessors, ranging from mixed optics to functor lenses, can be formalized within a unique framework-dependent optics. Starting from two indexed…