Video From 21w5251: Tangent Categories and their Applications (Online)
Mario Alvarez-Picallo, Huawei Research
Thursday, June 17, 2021 11:00 - 11:53
Soundness for automatic differentiation via string diagrams
![](http://www.birs.ca/files/images/poster.png)
©2024 Banff International Research Station for Mathematical Innovation and Discovery. All Rights Reserved.