[Alta-Logic] Peripatetic Seminar

[Benjamin MacAdam]

Speaker: Jonathan Gallagher

Time and location: MSC427, at 13:00 Friday, January 31.

Title: Taking the derivative of computations, backwards

Abstract:

This talk will introduce reverse differential restriction categories.  The reverse derivative is a fundamental operation in machine learning and differential programming.  Reverse differential categories provide an axiomatization of the reverse derivative.  In this talk, we will expand the axiomatic framework for reverse differentiation by combining it with restriction structure; this allows for reverse differentiation functions that may be partial (such as those defined by while-loops).

-Ben
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20200130/2c407855/attachment.html>