A Nuts-and-Bolts Differential Geometric Perspective on Automatic Differentiation
Carefully reifying the differential-geometric pushforward and pullback operators as forward and reverse AD clarifies the relationship between forward and reverse AD, and allows the formalization of AD of higher-order functions. We discuss the relationship between the differential-geometric constructs and the usual practice of just lifting all reals to duals, focusing on how they differ in the case of higher-order functions.
Tue 15 Jan
|14:00 - 14:30|
Barak A. PearlmutterMaynooth University
|14:30 - 15:00|
Breandan ConsidineUniversité de MontréalFile Attached
|15:00 - 15:30|