hackage.haskell.org : horde-ad
An Automatic Differentiation library originally inspired by the paper "Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation" (POPL 2022). Compared to the paper and to classic taping AD Haskell packages, the library additionally efficiently supports array operations and generation of symbolic derivative programs, though the efficiency is confined to a narrowly typed class of source programs with limited higher-orderness. A detailed account of the extension is in the paper by Tom Smeding, Mikolaj Konarski, Simon Peyton Jones and Andrew Fitzgibbon available at http://arxiv.org/abs/2507.12640.
Registry
- JSON
purl: pkg:hackage/horde-ad
Keywords:
bsd3
, library
, machine-learning
, tensors
, Propose Tags
License: BSD-3-Clause
Latest release: about 1 month ago
First release: about 2 months ago
Downloads: 16 total
Last synced: 1 day ago