Topic Archive
Automatic differentiation systems, APIs, and implementation details.
Showing 1 article tagged Autodiff.
The story of building an 80,000-line autodiff library almost entirely through AI agents — and the verification infrastructure that made it possible.