Universal Properties in Quantum Theory. - Mathieu Huot; Sam Staton (QPL, 2018)

Quantum channels as a categorical completion. - Mathieu Huot; Sam Staton (LICS, 2019)

Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing. - Mathieu Huot; Sam Staton; Matthijs Vákár (FoSSaCS, 2020)

Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic Languages. - Alexander K. Lew; Mathieu Huot; Vikash K. Mansinghka (CoRR, 2021)

Denotationally Correct, Purely Functional, Efficient Reverse-mode Automatic Differentiation. - Mathieu Huot; Amir Shaikhha (CoRR, 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)

Higher Order Automatic Differentiation of Higher Order Functions. - Mathieu Huot; Sam Staton; Matthijs Vákár (Log. Methods Comput. Sci., 2022)

Functional collection programming with semi-ring dictionaries. - Amir Shaikhha; Mathieu Huot; Jaclyn Smith; Dan Olteanu (Proc. ACM Program. Lang., 2022)

ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs. - Mathieu Huot; Alexander K. Lew; Vikash K. Mansinghka; Sam Staton (LICS, 2023)

∇SD: Differentiable Programming for Sparse Tensors. - Amir Shaikhha; Mathieu Huot; Shideh Hashemian (CoRR, 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)

ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs. - Alexander K. Lew; Mathieu Huot; Sam Staton; Vikash K. Mansinghka (Proc. ACM Program. Lang., 2023)

Compiling Structured Tensor Algebra. - Mahdi Ghorbani; Mathieu Huot; Shideh Hashemian; Amir Shaikhha (Proc. ACM Program. Lang., 2023)

A Tensor Algebra Compiler for Sparse Differentiation. - Amir Shaikhha; Mathieu Huot; Shideh Hashemian (CGO, 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)

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)