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 19 hours ago
First release: 9 days ago
Downloads: 4 total
Last synced: about 19 hours ago