[popl'23] you only linearize once: tangents transpose to gradients
Published 1 year ago • 216 plays • Length 24:48Download video MP4
Download video MP3
Similar videos
-
![[session previews @ popl'23] automatic differentiation](https://i.ytimg.com/vi/Tk9rdQI5plc/mqdefault.jpg)
10:15
[session previews @ popl'23] automatic differentiation
-
![[popl'24] relu hull approximation](https://i.ytimg.com/vi/Dn4y4PqhvgI/mqdefault.jpg)
18:03
[popl'24] relu hull approximation
-
![[popl'22] provably correct, asymptotically efficient, higher-order reverse-mode automatic](https://i.ytimg.com/vi/mASQIf3nKb8/mqdefault.jpg)
26:43
[popl'22] provably correct, asymptotically efficient, higher-order reverse-mode automatic
-
![[popl'24] orthologic with axioms](https://i.ytimg.com/vi/uW39tCEqfUU/mqdefault.jpg)
19:50
[popl'24] orthologic with axioms
-
19:23
a nice inverse tangent integral.
-
7:00
use local linear approximation, no calculator!
-
13:11
a simple geometry problem with a nice generalization.
-
14:05
a super classic doubly infinite integral!
-
0:45
opendmis module 090 translate and rotate alignment
-
![which of the matrices are orthogonal? 1/7[[ 2 6 -3; 6 -3 2 … ]](https://i.ytimg.com/vi/ED8NfH7bnxY/mqdefault.jpg)
0:33
which of the matrices are orthogonal? 1/7[[ 2 6 -3; 6 -3 2 … ]
-
0:46
a closer look at lo-pro linear motion components
-
![[tyde'23] a calculus of inductive linear constructions](https://i.ytimg.com/vi/DOr1-K7fpF8/mqdefault.jpg)
22:24
[tyde'23] a calculus of inductive linear constructions
-
3:19
how to linearize f(x)=x/(1 ,x^2) at a=1, calculus 1 tutorial
-
28:45
huaxin lin: "non-unital simple z-absorbing c*-algebras"
-
1:53
tm1 function, cellputs (turbointegrator)
-
5:48
linearization of a function at a point
-
0:48
why take isq measurement from two different angles?
-
3:39
how did the great depression affect the rest of the world? (short animated documentary)