Browsing 2023 by MFO Series ID "OWP-2023-07"
Now showing items 1-1 of 1
-
Automatic Differentiation for ML-Familiy Languages: Correctness via Logical Relations
[OWP-2023-07] (Mathematisches Forschungsinstitut Oberwolfach, 2023-06-19)
Now showing items 1-1 of 1