arXiv Artificial Intelligence

Unraveling the iterative CHAD

1 day ago 15.09.2026 07:00 👁 1 views
Unraveling the iterative CHAD

Quick summary

arXiv:2505.15002v3 Announce Type: replace-cross Abstract: Combinatory Homomorphic Automatic Differentiation (CHAD) was originally formulated as a semantics-driven source-to-source transformation for reverse-mode automatic differentiation of total functional programs. We extend CHAD to programs with partial operations, data-dependent conditionals, and while-loops, preserving its defining principle of structure-preserving semantics. Our main contribution is the introduction of iteration-extensive indexed categories, which integrate iteration into dependently typed programming languages. Iteratio

Key takeaways

  • arXiv:2505.15002v3 Announce Type: replace-cross Abstract: Combinatory Homomorphic Automatic Differentiation (CHAD) was originally formulated as a semantics-driven source-to-source transformation for reverse-mode automatic differentiation of total functional programs.
  • We extend CHAD to programs with partial operations, data-dependent conditionals, and while-loops, preserving its defining principle of structure-preserving semantics.
  • Our main contribution is the introduction of iteration-extensive indexed categories, which integrate iteration into dependently typed programming languages.

Why it matters

The importance of “Unraveling the iterative CHAD” will be measured by what changes in practice. User behavior, access conditions, verifiable performance and responsible-use outcomes are the signals worth following.

Kaynak sitede devamını oku: arXiv Artificial Intelligence ↗