Damiano Mazza | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Michele Pagani
6 publications
Alois Brunel
1 publication

research

∙ 11/06/2020

Automatic Differentiation in PCF

We study the correctness of automatic differentiation (AD) in the contex...

0 Damiano Mazza, et al. ∙

research

∙ 09/27/2019

Backpropagation in the Simply Typed Lambda-calculus with Linear Negation

Backpropagation is a classic automatic differentiation algorithm computi...

0 Alois Brunel, et al. ∙