Skip to main content

Semantically correct automatic differentiation


Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing

Author(s): Mathieu Huot*, Sam Staton*, and Matthijs Vákár* (* equal contribution)
Published in: 2020
Publisher: Springer

Transforming Probabilistic Programs for Model Checking

Author(s): Ryan Bernstein, Matthijs Vákár, and Jeannette Wing
Published in: 2020
Publisher: ACM

Reverse AD at Higher Types: Pure, Principled and Denotationally Correct

Author(s): Matthijs Vákár
Published in: 2021
Publisher: Springer

Conditional Independence by Typing

Author(s): Maria I. Gorinova, Andrew D. Gordon, Charles Sutton, Matthijs Vákár
Published in: ACM Transactions on Programming Languages and Systems, 2022, ISSN 0164-0925
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3490421