Automatic Differentiation for ML-Familiy Languages: Correctness via Logical Relations
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Oberwolfach preprints ; 2023-07
- Ereignis
-
Veröffentlichung
- (wo)
-
Oberwolfach-Walke
- (wer)
-
Mathematisches Forschungsinstitut Oberwolfach gGmbH
- (wann)
-
2023
- DOI
-
10.14760/OWP-2023-07
- URN
-
urn:nbn:de:101:1-2024032009144683846645
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:44 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Lucatelli Nunes, Fernando
- Vákár, Matthijs I. L.
- Mathematisches Forschungsinstitut Oberwolfach gGmbH
Entstanden
- 2023
Ähnliche Objekte (12)
Logical Relations for Partial Features and Automatic Differentiation Correctness
Automatic differentiation of the CapeML high-level language for process engineering
Automatic differentiation of the CapeML high-level language for process engineering
Introduction to Automatic Differentiation
Automatic Differentiation for Matlab (ADiMat)
Web compatibility: Automatic report triaging using ML
Advances in automatic differentiation : with 37 tables
Political Correctness
Algebraic, logical and stochastic reasoning for the automatic prediction of 3d building structures
Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela
Improving automatic emotion recognition from speech via gender differentiation
Automatic differentiation : applications, theory and implementations ; with 33 tables
Logical Relations for Partial Features and Automatic Differentiation Correctness
Automatic differentiation of the CapeML high-level language for process engineering
Automatic differentiation of the CapeML high-level language for process engineering
Introduction to Automatic Differentiation
Automatic Differentiation for Matlab (ADiMat)
Web compatibility: Automatic report triaging using ML
Advances in automatic differentiation : with 37 tables
Political Correctness
Algebraic, logical and stochastic reasoning for the automatic prediction of 3d building structures
Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela
Improving automatic emotion recognition from speech via gender differentiation
Automatic differentiation : applications, theory and implementations ; with 33 tables
Logical Relations for Partial Features and Automatic Differentiation Correctness
Automatic differentiation of the CapeML high-level language for process engineering
Automatic differentiation of the CapeML high-level language for process engineering
Introduction to Automatic Differentiation
Automatic Differentiation for Matlab (ADiMat)
Web compatibility: Automatic report triaging using ML
Advances in automatic differentiation : with 37 tables
Political Correctness
Algebraic, logical and stochastic reasoning for the automatic prediction of 3d building structures
Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela
Improving automatic emotion recognition from speech via gender differentiation