papersTODAY 04:00 UTC
CHAD source-to-source differentiation extended to iterative programs
A revised arXiv paper extends Combinatory Homomorphic Automatic Differentiation, a semantics-driven source-to-source method for reverse-mode automatic differentiation, to handle programs involving iteration. The original formulation covered total functional programs; the update broadens its applicability. Both cs.AI and cs.LG listings carry the same replacement version.