Skip to main content
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch Deutsch
CORDIS - Forschungsergebnisse der EU
CORDIS

Semantically correct automatic differentiation

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

CHAD: Combinatory Homomorphic Automatic Differentiation

Autoren: Vákár, Matthijs; Smeding, Tom
Veröffentlicht in: TOPLAS, Ausgabe 1, 2022, ISSN 0164-0925
Herausgeber: Association for Computing Machinary, Inc.

Conditional Independence by Typing (öffnet in neuem Fenster)

Autoren: Maria I. Gorinova, Andrew D. Gordon, Charles Sutton, Matthijs Vákár
Veröffentlicht in: ACM Transactions on Programming Languages and Systems, 2022, ISSN 0164-0925
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3490421

Higher Order Automatic Differentiation of Higher Order Functions

Autoren: Huot, Mathieu; Staton, Sam; Vákár, Matthijs
Veröffentlicht in: Logical Methods in Computer Science, Ausgabe Volume 18, Ausgabe 1, 2022, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig

Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing

Autoren: Mathieu Huot*, Sam Staton*, and Matthijs Vákár* (* equal contribution)
Veröffentlicht in: 2020
Herausgeber: Springer

Transforming Probabilistic Programs for Model Checking

Autoren: Ryan Bernstein, Matthijs Vákár, and Jeannette Wing
Veröffentlicht in: 2020
Herausgeber: ACM

Reverse AD at Higher Types: Pure, Principled and Denotationally Correct

Autoren: Matthijs Vákár
Veröffentlicht in: 2021
Herausgeber: Springer

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor

Mein Booklet 0 0