Folgen
Mathieu Huot
Mathieu Huot
Research Scientist, MIT
Bestätigte E-Mail-Adresse bei crans.org - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing.
M Huot, S Staton, M Vákár
FoSSaCS, 319-338, 2020
562020
Universal properties in quantum theory
M Huot, S Staton
arXiv preprint arXiv:1901.10117, 2019
282019
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
252022
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
172023
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
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
122019
ω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
62023
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
42023
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
22023
Denotationally correct, purely functional, efficient reverse-mode automatic differentiation
M Huot, A Shaikhha
arXiv preprint arXiv:2212.09801, 2022
22022
Conservative extensions of Montague semantics
M Huot
Master’s thesis, ENS Cachan, Université Paris-Saclay, 2017
22017
What do posterior distributions of probabilistic programs look like?
M Huot, A Lew, V Mansinghka, S Staton
LAFI, 2023
12023
Structural foundations for differentiable programming
M Huot
University of Oxford, 2022
12022
Operads with algebraic structure
M Huot
MPRI Internship Report, 2016
12016
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–18