Mathieu Huot

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 25

Top Topics

Variational Inference

Metropolis Hastings

Generative Model

Top Venues

Proc. ACM Program. Lang.

Publications

Amir Shaikhha, Mathieu Huot, Shideh Hashemian
A Tensor Algebra Compiler for Sparse Differentiation. CGO (2024)
Mathieu Huot, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle, Cameron E. Freer, Zane Shelby, Martin C. Rinard, Feras A. Saad, Vikash K. Mansinghka
GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables. Proc. ACM Program. Lang. 8 (PLDI) (2024)
McCoy R. Becker, Alexander K. Lew, Xiaoyan Wang, Matin Ghavami, Mathieu Huot, Martin C. Rinard, Vikash K. Mansinghka
Probabilistic Programming with Programmable Variational Inference. CoRR (2024)
McCoy R. Becker, Alexander K. Lew, Xiaoyan Wang, Matin Ghavami, Mathieu Huot, Martin C. Rinard, Vikash K. Mansinghka
Probabilistic Programming with Programmable Variational Inference. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Mathieu Huot, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle, Cameron E. Freer, Zane Shelby, Martin C. Rinard, Feras A. Saad, Vikash K. Mansinghka
GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables. CoRR (2024)
Alexander K. Lew, Mathieu Huot, Sam Staton, Vikash K. Mansinghka
ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs. Proc. ACM Program. Lang. 7 (POPL) (2023)
Mahdi Ghorbani, Mathieu Huot, Shideh Hashemian, Amir Shaikhha
Compiling Structured Tensor Algebra. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Mathieu Huot, Alexander K. Lew, Vikash K. Mansinghka, Sam Staton
ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs. CoRR (2023)
Gaurav Arya, Ruben Seyer, Frank Schäfer, Alexander K. Lew, Mathieu Huot, Vikash K. Mansinghka, Chris Rackauckas, Kartik Chandra, Moritz Schauer
Differentiating Metropolis-Hastings to Optimize Intractable Densities. CoRR (2023)
Mathieu Huot, Alexander K. Lew, Vikash K. Mansinghka, Sam Staton
ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs. LICS (2023)
Amir Shaikhha, Mathieu Huot, Shideh Hashemian
∇SD: Differentiable Programming for Sparse Tensors. CoRR (2023)
Amir Shaikhha, Mathieu Huot, Shabnam Ghasemirad, Andrew W. Fitzgibbon, Simon Peyton Jones, Dimitrios Vytiniotis
Efficient and Sound Differentiable Programming in a Functional Array-Processing Language. CoRR (2022)
Alexander K. Lew, Mathieu Huot, Sam Staton, Vikash K. Mansinghka
ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs. CoRR (2022)
Mathieu Huot, Sam Staton, Matthijs Vákár
Higher Order Automatic Differentiation of Higher Order Functions. Log. Methods Comput. Sci. 18 (1) (2022)
Mathieu Huot, Amir Shaikhha
Denotationally Correct, Purely Functional, Efficient Reverse-mode Automatic Differentiation. CoRR (2022)
Amir Shaikhha, Mathieu Huot, Jaclyn Smith, Dan Olteanu
Functional collection programming with semi-ring dictionaries. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Mahdi Ghorbani, Mathieu Huot, Shideh Hashemian, Amir Shaikhha
Compiling Structured Tensor Algebra. CoRR (2022)
Amir Shaikhha, Mathieu Huot, Jaclyn Smith, Dan Olteanu
Functional Collection Programming with Semi-Ring Dictionaries. CoRR (2021)
Alexander K. Lew, Mathieu Huot, Vikash K. Mansinghka
Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic Languages. CoRR (2021)
Mathieu Huot, Sam Staton, Matthijs Vákár
Higher Order Automatic Differentiation of Higher Order Functions. CoRR (2021)
Mathieu Huot, Sam Staton, Matthijs Vákár
Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing. FoSSaCS (2020)
Mathieu Huot, Sam Staton, Matthijs Vákár
Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing. CoRR (2020)
Mathieu Huot, Sam Staton
Quantum channels as a categorical completion. CoRR (2019)
Mathieu Huot, Sam Staton
Quantum channels as a categorical completion. LICS (2019)
Mathieu Huot, Sam Staton
Universal Properties in Quantum Theory. QPL (2018)