Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing. M Huot, S Staton, M Vákár FoSSaCS, 319-338, 2020 | 56 | 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 |
Higher order automatic differentiation of higher order functions M Huot, S Staton, M Vákár Logical Methods in Computer Science 18, 2022 | 17* | 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 |
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 | 12 | 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 Tensors A 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 |