Logique de la programmation probabiliste / Logic of Probabilistic Programming

Collection Logique de la programmation probabiliste / Logic of Probabilistic Programming

Organizer(s) Avanzini, Martin ; Ehrhard, Thomas ; Faggian, Claudia ; Vaux Auclair, Lionel

Date(s) 31/01/2022 - 04/02/2022

linked URL https://conferences.cirm-math.fr/2686.html

00:00:00 / 00:00:00

1 3

Mathematical foundations of automatic differentiation - a tutorial

By Matthijs Vákár

Information about the video

Date of recording 31/01/2022
Date of publication 21/02/2022
Institution CIRM
Licence CC BY NC ND
Language English
Audience Researchers, Graduate Students
Director(s) Guillaume Hennenfent
Format MP4

Citation data

DOI 10.24350/CIRM.V.19884003
Cite this video Vákár, Matthijs (31/01/2022). Mathematical foundations of automatic differentiation - a tutorial. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.19884003
URL https://dx.doi.org/10.24350/CIRM.V.19884003

Domain(s)

MSC codes

Document(s)

https://www.cirm-math.fr/RepOrga/2686/Slides/CHAD-part-1.pdf

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow

All the collection videos

01:01:47

published on February 21, 2022

Mathematical foundations of automatic differentiation - a tutorial

By Matthijs Vákár

01:24:22

published on February 21, 2022

Probabilistic model checking for strategic equilibria-based decision making: Part 1

By Marta Kwiatkowska

01:27:38

published on February 21, 2022

An introduction to statistical modelling semantics with higher-order measure theory

By Ohad Kammar

Copyright Carmin.tv 2026

Give feedback