Search papers, labs, and topics across Lattice.
2
0
2
2
Embedding cotangent fibers in a common ambient type reveals a surprising equivalence between dependent and simply typed semantics in reverse-mode automatic differentiation.
Differentiating probabilistic programs reveals that cotangents must navigate both deterministic and probabilistic structures, challenging traditional views on automatic differentiation.
