Login / Signup

Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation.

Faustyna KrawiecSimon Peyton JonesNeel KrishnaswamiTom EllisRichard A. EisenbergAndrew W. Fitzgibbon
Published in: Proc. ACM Program. Lang. (2022)
Keyphrases
  • provably correct
  • higher order
  • semi automatic
  • cost effective
  • situation calculus
  • database
  • machine learning
  • formal methods
  • asymptotically optimal