Publications
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