lean-autograd
Govind Pimpale and I are working on implementing automatic differentiation in lean, following along with autodidax.
lean-autograd
Automatic differentiation in Lean following JAX's autodidax tutorial
lean-autogradGovind Pimpale and I are working on implementing automatic differentiation in lean, following along with autodidax.