Autodiff

"What Should We Work On Next?"

The story of building an 80,000-line autodiff library almost entirely through AI agents — and the verification infrastructure that made it possible.

Yannick Augenstein & Frederik Schubert