Mathieu Huot

According to our database, Mathieu Huot authored at least 31 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

GenMatter: Perceiving Physical Objects with Generative Matter Models.

Eric Li, Arijit Dasgupta, Yoni Friedman, Mathieu Huot, Vikash Mansinghka, Thomas P. O'Connell, William T. Freeman, Joshua B. Tenenbaum

CoRR, April, 2026

Probabilistic Programming with Vectorized Programmable Inference.

McCoy R. Becker, Mathieu Huot, George Matheos, Xiaoyan Wang, Karen Chung, Colin Smith, Sam Ritchie, Rif A. Saurous, Alexander K. Lew, Martin C. Rinard, Vikash K. Mansinghka

Proc. ACM Program. Lang., 2026

2025

GenJAX: Probabilistic Programming with Vectorized Programmable Inference.

McCoy R. Becker, Mathieu Huot, George Matheos, Xiaoyan Wang, Karen Chung, Colin Smith, Sam Ritchie, Alexander K. Lew, Martin C. Rinard, Vikash K. Mansinghka

Dataset, November, 2025

GenJAX: Probabilistic Programming with Vectorized Programmable Inference.

McCoy R. Becker, Mathieu Huot, George Matheos, Xiaoyan Wang, Karen Chung, Colin Smith, Sam Ritchie, Alexander K. Lew, Martin C. Rinard, Vikash K. Mansinghka

Dataset, November, 2025

GenJAX: Probabilistic Programming with Vectorized Programmable Inference.

McCoy R. Becker, Mathieu Huot, George Matheos, Xiaoyan Wang, Karen Chung, Colin Smith, Sam Ritchie, Alexander K. Lew, Martin C. Rinard, Vikash K. Mansinghka

Dataset, November, 2025

GenJAX: Probabilistic Programming with Vectorized Programmable Inference.

McCoy R. Becker, Mathieu Huot, George Matheos, Xiaoyan Wang, Karen Chung, Colin Smith, Sam Ritchie, Alexander K. Lew, Martin C. Rinard, Vikash K. Mansinghka

Dataset, November, 2025

GenJAX: Probabilistic Programming with Vectorized Programmable Inference.

McCoy R. Becker, Mathieu Huot, George Matheos, Xiaoyan Wang, Karen Chung, Colin Smith, Sam Ritchie, Alexander K. Lew, Martin C. Rinard, Vikash K. Mansinghka

Dataset, October, 2025

GenJAX: Probabilistic Programming with Vectorized Programmable Inference.

McCoy R. Becker, Mathieu Huot, George Matheos, Xiaoyan Wang, Karen Chung, Colin Smith, Sam Ritchie, Alexander K. Lew, Martin C. Rinard, Vikash K. Mansinghka

Dataset, October, 2025

GenJAX: Probabilistic Programming with Vectorized Programmable Inference.

McCoy R. Becker, Mathieu Huot, George Matheos, Xiaoyan Wang, Karen Chung, Colin Smith, Sam Ritchie, Alexander K. Lew, Martin C. Rinard, Vikash K. Mansinghka

Dataset, October, 2025

GenJAX: Probabilistic Programming with Vectorized Programmable Inference.

McCoy R. Becker, Mathieu Huot, George Matheos, Xiaoyan Wang, Karen Chung, Colin Smith, Sam Ritchie, Alexander K. Lew, Martin C. Rinard, Vikash K. Mansinghka

Dataset, October, 2025

GenJAX: Probabilistic Programming with Vectorized Programmable Inference.

McCoy R. Becker, Mathieu Huot, George Matheos, Xiaoyan Wang, Karen Chung, Colin Smith, Sam Ritchie, Alexander K. Lew, Martin C. Rinard, Vikash K. Mansinghka

Dataset, October, 2025

GenJAX: Probabilistic Programming Language with Vectorized Programmable Inference.

McCoy R. Becker, Mathieu Huot, George Matheos, Xiaoyan Wang, Karen Chung, Colin Smith, Sam Ritchie, Alexander K. Lew, Martin C. Rinard, Vikash K. Mansinghka

Dataset, October, 2025

GenJAX: Probabilistic Programming Language with Vectorized Programmable Inference.

McCoy R. Becker, Mathieu Huot, George Matheos, Xiaoyan Wang, Karen Chung, Colin Smith, Sam Ritchie, Alexander K. Lew, Martin C. Rinard, Vikash K. Mansinghka

Dataset, October, 2025

GenJAX: Probabilistic Programming Language with Vectorized Programmable Inference.

McCoy R. Becker, Mathieu Huot, George Matheos, Xiaoyan Wang, Karen Chung, Colin Smith, Sam Ritchie, Alexander K. Lew, Martin C. Rinard, Vikash K. Mansinghka

Dataset, October, 2025

GenJAX: Probabilistic Programming with Vectorized Programmable Inference.

McCoy R. Becker, Mathieu Huot, George Matheos, Xiaoyan Wang, Karen Chung, Colin Smith, Sam Ritchie, Alexander K. Lew, Martin C. Rinard, Vikash K. Mansinghka

Dataset, October, 2025

2024

GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables.

Mathieu Huot, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle, Cameron E. Freer, Zane Shelby, Martin C. Rinard, Feras A. Saad, Vikash K. Mansinghka

Proc. ACM Program. Lang., 2024

Probabilistic Programming with Programmable Variational Inference.

McCoy R. Becker, Alexander K. Lew, Xiaoyan Wang, Matin Ghavami, Mathieu Huot, Martin C. Rinard, Vikash K. Mansinghka

Proc. ACM Program. Lang., 2024

A Tensor Algebra Compiler for Sparse Differentiation.

Amir Shaikhha, Mathieu Huot, Shideh Hashemian

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2024

2023

Compiling Structured Tensor Algebra.

Mahdi Ghorbani, Mathieu Huot, Shideh Hashemian, Amir Shaikhha

Proc. ACM Program. Lang., October, 2023

ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs.

Alexander K. Lew, Mathieu Huot, Sam Staton, Vikash K. Mansinghka

Proc. ACM Program. Lang., January, 2023

Differentiating Metropolis-Hastings to Optimize Intractable Densities.

Gaurav Arya, Ruben Seyer, Frank Schäfer, Alexander K. Lew, Mathieu Huot, Vikash K. Mansinghka, Chris Rackauckas, Kartik Chandra, Moritz Schauer

CoRR, 2023

∇SD: Differentiable Programming for Sparse Tensors.

Amir Shaikhha, Mathieu Huot, Shideh Hashemian

CoRR, 2023

ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs.

Mathieu Huot, Alexander K. Lew, Vikash K. Mansinghka, Sam Staton

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

Functional collection programming with semi-ring dictionaries.

Amir Shaikhha, Mathieu Huot, Jaclyn Smith, Dan Olteanu

Proc. ACM Program. Lang., 2022

Higher Order Automatic Differentiation of Higher Order Functions.

Mathieu Huot, Sam Staton, Matthijs Vákár

Log. Methods Comput. Sci., 2022

Efficient and Sound Differentiable Programming in a Functional Array-Processing Language.

Amir Shaikhha, Mathieu Huot, Shabnam Ghasemirad, Andrew W. Fitzgibbon, Simon Peyton Jones, Dimitrios Vytiniotis

CoRR, 2022

Denotationally Correct, Purely Functional, Efficient Reverse-mode Automatic Differentiation.

Mathieu Huot, Amir Shaikhha

CoRR, 2022

2021

Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic Languages.

Alexander K. Lew, Mathieu Huot, Vikash K. Mansinghka

CoRR, 2021

2020

Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing.

Mathieu Huot, Sam Staton, Matthijs Vákár

Proceedings of the Foundations of Software Science and Computation Structures, 2020

2019

Quantum channels as a categorical completion.

Mathieu Huot, Sam Staton

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018

Universal Properties in Quantum Theory.

Mathieu Huot, Sam Staton

Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018