Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing. M Huot, S Staton, M Vákár
FoSSaCS, 319-338, 2020
55 2020 Universal properties in quantum theory M Huot, S Staton
arXiv preprint arXiv:1901.10117, 2019
28 2019 Functional collection programming with semi-ring dictionaries A Shaikhha, M Huot, J Smith, D Olteanu
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-33, 2022
25 2022 ADEV: Sound automatic differentiation of expected values of probabilistic programs AK Lew, M Huot, S Staton, VK Mansinghka
Proceedings of the ACM on Programming Languages 7 (POPL), 121-153, 2023
16 2023 Higher order automatic differentiation of higher order functions M Huot, S Staton, M Vákár
Logical Methods in Computer Science 18, 2022
16 * 2022 Quantum channels as a categorical completion M Huot, S Staton
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019
11 2019 ωPAP spaces: Reasoning denotationally about higher-order, recursive probabilistic and differentiable programs M Huot, AK Lew, VK Mansinghka, S Staton
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2023
6 2023 Towards denotational semantics of AD for higher-order, recursive, probabilistic languages. 2021 AK Lew, M Huot, VK Mansinghka
NeurIPS 2021 workshop on differentiable programming and POPL 2022 workshop …, 2021
6 * 2021 Compiling structured tensor algebra M Ghorbani, M Huot, S Hashemian, A Shaikhha
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 204-233, 2023
4 2023 Differentiating Metropolis-Hastings to optimize intractable densities G Arya, R Seyer, F Schäfer, A Lew, M Huot, VK Mansinghka, ...
arXiv preprint arXiv:2306.07961, 2023
2 2023 Denotationally correct, purely functional, efficient reverse-mode automatic differentiation M Huot, A Shaikhha
arXiv preprint arXiv:2212.09801, 2022
2 2022 Conservative extensions of Montague semantics M Huot
Master’s thesis, ENS Cachan, Université Paris-Saclay, 2017
2 2017 What do posterior distributions of probabilistic programs look like? M Huot, A Lew, V Mansinghka, S Staton
LAFI, 2023
1 2023 Structural foundations for differentiable programming M Huot
University of Oxford, 2022
1 2022 Operads with algebraic structure M Huot
MPRI Internship Report, 2016
1 2016 A Tensor Algebra Compiler for Sparse Differentiation A Shaikhha, M Huot, S Hashemian
2024 IEEE/ACM International Symposium on Code Generation and Optimization …, 2024
2024 SD: Differentiable Programming for Sparse TensorsA Shaikhha, M Huot, S Hashemian
arXiv preprint arXiv:2303.07030, 2023
2023 Efficient and Sound Differentiable Programming in a Functional Array-Processing Language A Shaikhha, M Huot, S Ghasemirad, A Fitzgibbon, SP Jones, D Vytiniotis
arXiv preprint arXiv:2212.10307, 2022
2022