Mathieu Huot
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2019–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CGO | A Tensor Algebra Compiler for Sparse Differentiation. | Amir Shaikhha, Mathieu Huot, Shideh Hashemian |
| 2023 | LICS | ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs. | Mathieu Huot, Alexander K. Lew, Vikash K. Mansinghka, Sam Staton |
| 2020 | FOSSACS | Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing. | Mathieu Huot, Sam Staton, Matthijs Vkr |
| 2019 | LICS | Quantum channels as a categorical completion. | Mathieu Huot, Sam Staton |