Mathieu Huot

Follow

Generating author description...

All published works
Action Title Year Authors
+ PDF Chat Probabilistic Programming with Programmable Variational Inference 2024 McCoy Becker
Alexander K. Lew
Xiaoyan Wang
Matin Ghavami
Mathieu Huot
Martin Rinard
Vikash K. Mansinghka
+ PDF Chat GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables 2024 Mathieu Huot
Matin Ghavami
Alexander K. Lew
Ulrich Schaechtle
Cameron E. Freer
Z. Shelby
Martin Rinard
Feras A. Saad
Vikash K. Mansinghka
+ A Tensor Algebra Compiler for Sparse Differentiation 2024 Amir Shaikhha
Mathieu Huot
Shideh Hashemian
+ PDF Chat Compiling Structured Tensor Algebra 2023 Mahdi Ghorbani
Mathieu Huot
Shideh Hashemian
Amir Shaikhha
+ PDF Chat ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs 2023 Alexander K. Lew
Mathieu Huot
Sam Staton
Vikash K. Mansinghka
+ $ω$PAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs 2023 Mathieu Huot
Alexander K. Lew
Vikash K. Mansinghka
Sam Staton
+ $\nabla$SD: Differentiable Programming for Sparse Tensors 2023 Amir Shaikhha
Mathieu Huot
Shideh Hashemian
+ Differentiating Metropolis-Hastings to Optimize Intractable Densities 2023 Gaurav Arya
Ruben Seyer
Frank Schäfer
Alex K. Lew
Mathieu Huot
Vikash K. Mansinghka
Christopher Rackauckas
Kartik Chandra
Moritz Schauer
+ PDF Chat Functional collection programming with semi-ring dictionaries 2022 Amir Shaikhha
Mathieu Huot
Jaclyn Smith
Dan Olteanu
+ PDF Chat Higher Order Automatic Differentiation of Higher Order Functions 2022 Mathieu Huot
Sam Staton
Matthijs Vákár
+ Compiling Structured Tensor Algebra 2022 Mahdi Ghorbani
Mathieu Huot
Shideh Hashemian
Amir Shaikhha
+ Denotationally Correct, Purely Functional, Efficient Reverse-mode Automatic Differentiation 2022 Mathieu Huot
Amir Shaikhha
+ Efficient and Sound Differentiable Programming in a Functional Array-Processing Language 2022 Amir Shaikhha
Mathieu Huot
Shabnam Ghasemirad
Andrew Fitzgibbon
Simon Peyton Jones
Dimitrios Vytiniotis
+ Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic Languages 2021 Alexander K. Lew
Mathieu Huot
Vikash K. Mansinghka
+ PDF Chat Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic Languages 2021 Alexander K. Lew
Mathieu Huot
Vikash K. Mansinghka
+ Higher Order Automatic Differentiation of Higher Order Functions 2021 Mathieu Huot
Sam Staton
Matthijs Vákár
+ Functional Collection Programming with Semi-Ring Dictionaries 2021 Amir Shaikhha
Mathieu Huot
John A. Smith
Dan Olteanu
+ Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic Languages 2021 Alexander K. Lew
Mathieu Huot
Vikash K. Mansinghka
+ Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing 2020 Mathieu Huot
Sam Staton
Matthijs Vákár
+ Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing 2020 Mathieu Huot
Sam Staton
Matthijs Vákár
+ PDF Chat Quantum channels as a categorical completion 2019 Mathieu Huot
Sam Staton
+ PDF Chat Universal Properties in Quantum Theory 2019 Mathieu Huot
Sam Staton
+ Quantum channels as a categorical completion 2019 Mathieu Huot
Sam Staton
Common Coauthors
Commonly Cited References
Action Title Year Authors # of times referenced
+ PDF Chat Efficient differentiable programming in a functional array-processing language 2019 Amir Shaikhha
Andrew Fitzgibbon
Dimitrios Vytiniotis
Simon Peyton Jones
4
+ A continuity theorem for Stinespring's dilation 2008 Dennis Kretschmann
Dirk Schlingemann
Reinhard F. Werner
3
+ PDF Chat Axiomatizing complete positivity 2015 Oscar Cunningham
Chris Heunen
3
+ PDF Chat Paschke Dilations 2017 Abraham Westerbaan
Bas Westerbaan
3
+ An Introduction to Effectus Theory 2015 Kenta Cho
Bart Jacobs
Bas Westerbaan
Abraham Westerbaan
3
+ PDF Chat The tensor algebra compiler 2017 Fredrik Kjølstad
Shoaib Kamil
Stephen Y. Chou
David Lugato
Saman Amarasinghe
3
+ PDF Chat Probabilistic theories with purification 2010 Giulio Chiribella
Giacomo Mauro D’Ariano
Paolo Perinotti
3
+ PDF Chat The simple essence of automatic differentiation 2018 Conal Elliott
3
+ PDF Chat Demystifying differentiable programming: shift/reset the penultimate backpropagator 2019 Fei Wang
Daniel Zheng
James Decker
Xilun Wu
Grégory M. Essertel
Tiark Rompf
3
+ PDF Chat Backpropagation in the simply typed lambda-calculus with linear negation 2019 Aloïs Brunel
Damiano Mazza
Michele Pagani
3
+ PDF Chat 𝜆ₛ: computable semantics for differentiable programming with higher-order functions and datatypes 2021 Benjamin Sherman
Jesse Michel
Michael Carbin
3
+ Denotational Correctness of Foward-Mode Automatic Differentiation for Iteration and Recursion 2020 Matthijs Vákár
3
+ Operational Theories of Physics as Categories 2016 Sean Tull
3
+ PDF Chat A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics 2018 Emmanuel Jeandel
Simon Perdrix
Renaud Vilmart
3
+ PDF Chat A simple differentiable programming language 2019 Martı́n Abadi
Gordon Plotkin
3
+ PDF Chat The Category of Bratteli Diagrams 2015 Massoud Amini
George A. Elliott
Nasser Golestani
2
+ The ZX-calculus is complete for stabilizer quantum mechanics 2014 Miriam Backens
2
+ PDF Chat Functional collection programming with semi-ring dictionaries 2022 Amir Shaikhha
Mathieu Huot
Jaclyn Smith
Dan Olteanu
2
+ PDF Chat On a certain class of operator algebras 1960 James Glimm
2
+ A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation 2020 Carol Mak
C.-H. Luke Ong
2
+ Automating Involutive MCMC using Probabilistic and Differentiable Programming 2020 Marco Cusumano-Towner
Alexander K. Lew
Vikash K. Mansinghka
2
+ PDF Chat QPEL: Quantum Program and Effect Language 2014 Robin Adams
2
+ Quasitoposes, Quasiadhesive Categories and Artin Glueing 2007 Peter Johnstone
Stephen Lack
Paweł Sobociński
2
+ PDF Chat Towards verified stochastic variational inference for probabilistic programs 2019 Wonyeol Lee
Hangyeol Yu
Xavier Rival
Hongseok Yang
2
+ On the axiomatizability of quantitative algebras 2017 Radu Mardare
Prakash Panangaden
Gordon Plotkin
2
+ PDF Chat Universal Properties in Quantum Theory 2019 Mathieu Huot
Sam Staton
2
+ PDF Chat On the limited memory BFGS method for large scale optimization 1989 Cheng‐Di Dong
Jorge Nocedal
2
+ PDF Chat Automatic differentiation in PCF 2021 Damiano Mazza
Michele Pagani
2
+ The No-U-turn sampler: adaptively setting path lengths in Hamiltonian Monte Carlo 2014 Matthew D. Homan
Andrew Gelman
2
+ PDF Chat Incremental View Maintenance with Triple Lock Factorization Benefits 2018 Miloš Nikolić
Dan Olteanu
2
+ Tangent spaces and tangent bundles for diffeological spaces 2014 J. Daniel Christensen
Enxin Wu
2
+ PDF Chat Denotational validation of higher-order Bayesian inference 2017 Adam Ścibior
Ohad Kammar
Matthijs Vákár
Sam Staton
Hongseok Yang
Yufei Cai
Klaus Ostermann
Sean Moss
Chris Heunen
Zoubin Ghahramani
2
+ PDF Chat Completeness of Graphical Languages for Mixed States Quantum Mechanics 2019 Titouan Carette
Emmanuel Jeandel
Simon Perdrix
Renaud Vilmart
2
+ PDF Chat Inductive limits of finite dimensional 𝐶*-algebras 1972 Ola Bratteli
2
+ PDF Chat Quantitative Algebraic Reasoning 2016 Radu Mardare
Prakash Panangaden
Gordon Plotkin
2
+ Completely positive linear maps on complex matrices 1975 Man-Duen Choi
2
+ E∞ ring spaces and bipermutative categories 1977 J. P. May
2
+ PDF Chat Categories for the Working Mathematician 1971 Saunders Mac Lane
2
+ PDF Chat Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras 2017 Mathys Rennela
Sam Staton
Robert Furber
2
+ PDF Chat Efficient MATLAB Computations with Sparse and Factored Tensors 2007 Brett W. Bader
Tamara G. Kolda
2
+ PDF Chat The Information-Disturbance Tradeoff and the Continuity of Stinespring's Representation 2008 Dennis Kretschmann
D. Schlingemann
Reinhard F. Werner
2
+ Basic concepts of enriched category theory 1982 G. M. Kelly
2
+ The Stan Math Library: Reverse-Mode Automatic Differentiation in C++ 2015 Bob Carpenter
Matthew D. Hoffman
Marcus A. Brubaker
Daniel D. Lee
Peter Li
Michael Betancourt
2
+ PDF Chat Coherence for a closed functor 1972 Geoffrey Lewis
2
+ PDF Chat Convenient categories of smooth spaces 2011 John C. Baez
Alexander E. Hoffnung
2
+ H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics 2012 Chris Heunen
2
+ Spatial Point Processes 2011 Mark Huber
2
+ PDF Chat <i>Stan</i>: A Probabilistic Programming Language 2017 Bob Carpenter
Andrew Gelman
Matthew D. Hoffman
Daniel C. Lee
Ben Goodrich
Michael Betancourt
Marcus A. Brubaker
Jiqiang Guo
Peter Li
Allen Riddell
2
+ PDF Chat Backprop as Functor: A compositional perspective on supervised learning 2019 Brendan Fong
David I. Spivak
Rémy Tuyéras
2
+ PDF Chat Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere 2021 Carol Mak
C.-H. Luke Ong
Hugo Paquet
Dominik Wagner
2