Can I read CHAD: Combinatory Homomorphic Automatic Differentiation: Matthijs Vákár Tom Smeding on EtoBox?

CHAD: Combinatory Homomorphic Automatic Differentiation: Matthijs Vákár Tom Smeding by das678787 is a document available to read on EtoBox.

What is CHAD: Combinatory Homomorphic Automatic Differentiation: Matthijs Vákár Tom Smeding about?

The document introduces Combinatory Homomorphic Automatic Differentiation (CHAD), a method for performing forward and reverse mode automatic differentiation (AD) on expressive programming languages. CHAD is a principled, type-respecting source-code transformation that generates purely functional code and is proven to be correct through logical relations. The article details the methodology, its implementation, and its broader applicability beyond AD to other dynamic program analyses.

Author

das678787

Language

EN