2 problems

Consider a computation graph for a function $\mathbb{R}^n\to\mathbb{R}^n$ with temporary variables, and partition a topologically ordered computation into lumps at points where exa…

Lenses cannot model automatic differentiation algorithms that do not use gradient checkpointing, while weighted optics conjecture. weighted optics should be able to model such algo…