Showing 2025Show all
2 papers · 1 filter
cs.PL2025
JAX Autodiff from a Linear Logic Perspective (Extended Version)
Giulia Giusti, Michele Pagani
Autodiff refers to the core of the automatic differentiation systems developed in projects like JAX and Dex. Autodiff has recently been formalised in a linear typed calculus by Rad…
cs.CR2025
Exploiting the Potential of Linearity in Automatic Differentiation and Computational Cryptography
Giulia Giusti
The concept of linearity plays a central role in both mathematics and computer science, with distinct yet complementary meanings. In mathematics, linearity underpins functions and…