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
612020
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
342022
Universal properties in quantum theory
M Huot, S Staton
arXiv preprint arXiv:1901.10117, 2019
272019
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
242023
Higher order automatic differentiation of higher order functions
M Huot, S Staton, M Vákár
Logical Methods in Computer Science 18, 2022
20*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
152019
Compiling structured tensor algebra
M Ghorbani, M Huot, S Hashemian, A Shaikhha
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 204-233, 2023
82023
ω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
82023
Differentiating Metropolis-Hastings to optimize intractable densities
G Arya, R Seyer, F Schäfer, K Chandra, AK Lew, M Huot, VK Mansinghka, ...
arXiv preprint arXiv:2306.07961, 2023
72023
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
A Tensor Algebra Compiler for Sparse Differentiation
A Shaikhha, M Huot, S Hashemian
2024 IEEE/ACM International Symposium on Code Generation and Optimization …, 2024
52024
Denotationally correct, purely functional, efficient reverse-mode automatic differentiation
M Huot, A Shaikhha
arXiv preprint arXiv:2212.09801, 2022
32022
Conservative extensions of Montague semantics
M Huot
Master’s thesis, ENS Cachan, Université Paris-Saclay, 2017
22017
A semi-ring dictionary query language for data science
A Shaikhha, M Huot, S Hashemian, A Kaboli, A Mascolo, M Nikolic, ...
12024
Probabilistic programming with programmable variational inference
MCR Becker, AK Lew, X Wang, M Ghavami, M Huot, MC Rinard, ...
Proceedings of the ACM on Programming Languages 8 (PLDI), 2123-2147, 2024
12024
Gensql: a probabilistic programming system for querying generative models of database tables
M Huot, M Ghavami, AK Lew, U Schaechtle, CE Freer, Z Shelby, ...
Proceedings of the ACM on Programming Languages 8 (PLDI), 790-815, 2024
12024
What do posterior distributions of probabilistic programs look like?
M Huot, A Lew, V Mansinghka, S Staton
LAFI, 2023
12023
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
12022
Structural foundations for differentiable programming
M Huot
University of Oxford, 2022
12022
Operads with algebraic structure
M Huot
MPRI Internship Report, 2016
12016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20