Login / Signup
Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation.
Faustyna Krawiec
Simon Peyton Jones
Neel Krishnaswami
Tom Ellis
Richard A. Eisenberg
Andrew 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