3 papers
cs.PL2026
GradInf: Gradient Estimation as Probabilistic Inference
Gaurav Arya, Mathieu Huot, Moritz Schauer +2
Gradient estimation -- the task of computing the gradient of the expected value of a probabilistic program -- has diverse applications in scientific computing, but is notoriously d…
cs.CV2026
GenMatter: Perceiving Physical Objects with Generative Matter Models
Eric Li, Arijit Dasgupta, Yoni Friedman +5
Human visual perception offers valuable insights for understanding computational principles of motion-based scene interpretation. Humans robustly detect and segment moving entities…
cs.PL2026
Higher Order Automatic Differentiation of Higher Order Functions
Mathieu Huot, Sam Staton, Matthijs Vákár
We present semantic correctness proofs of automatic differentiation (AD). We consider a forward-mode AD method on a higher-order language with algebraic data types and we character…