TY - RPRT TI - JAX Autodiff from a Linear Logic Perspective (Extended Version) AU - Giulia Giusti AU - Michele Pagani PY - 2025 UR - https://arxiv.org/abs/2510.16883 ID - 2510.16883 ER -