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