Mathieu Huot

According to our database, Mathieu Huot authored at least 14 papers between 2018 and 2024.

Collaborative distances:

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

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

LICS, 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