FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3122093772> ?p ?o ?g. }

• W3122093772 endingPage "27" @default.
• W3122093772 startingPage "1" @default.
• W3122093772 abstract "Backpropagation is a classic automatic differentiation algorithm computing the gradient of functions specified by a certain class of simple, first-order programs, called computational graphs. It is a fundamental tool in several fields, most notably machine learning, where it is the key for efficiently training (deep) neural networks. Recent years have witnessed the quick growth of a research field called differentiable programming, the aim of which is to express computational graphs more synthetically and modularly by resorting to actual programming languages endowed with control flow operators and higher-order combinators, such as map and fold. In this paper, we extend the backpropagation algorithm to a paradigmatic example of such a programming language: we define a compositional program transformation from the simply-typed lambda-calculus to itself augmented with a notion of linear negation, and prove that this computes the gradient of the source program with the same efficiency as first-order backpropagation. The transformation is completely effect-free and thus provides a purely logical understanding of the dynamics of backpropagation." @default.
• W3122093772 created "2021-02-01" @default.
• W3122093772 creator A5014578218 @default.
• W3122093772 creator A5064471728 @default.
• W3122093772 creator A5088134720 @default.
• W3122093772 date "2019-12-20" @default.
• W3122093772 modified "2023-09-30" @default.
• W3122093772 title "Backpropagation in the simply typed lambda-calculus with linear negation" @default.
• W3122093772 cites W1965256357 @default.
• W3122093772 cites W1988115241 @default.
• W3122093772 cites W2024902159 @default.
• W3122093772 cites W2049434052 @default.
• W3122093772 cites W2088376608 @default.
• W3122093772 cites W2147800946 @default.
• W3122093772 cites W2154890045 @default.
• W3122093772 cites W2508102865 @default.
• W3122093772 cites W2764063203 @default.
• W3122093772 cites W2885468325 @default.
• W3122093772 cites W2911865844 @default.
• W3122093772 cites W2962743500 @default.
• W3122093772 cites W2966177220 @default.
• W3122093772 cites W3100695210 @default.
• W3122093772 cites W80623023 @default.
• W3122093772 doi "https://doi.org/10.1145/3371132" @default.
• W3122093772 hasPublicationYear "2019" @default.
• W3122093772 type Work @default.
• W3122093772 sameAs 3122093772 @default.
• W3122093772 citedByCount "23" @default.
• W3122093772 countsByYear W31220937722020 @default.
• W3122093772 countsByYear W31220937722021 @default.
• W3122093772 countsByYear W31220937722022 @default.
• W3122093772 countsByYear W31220937722023 @default.
• W3122093772 crossrefType "journal-article" @default.
• W3122093772 hasAuthorship W3122093772A5014578218 @default.
• W3122093772 hasAuthorship W3122093772A5064471728 @default.
• W3122093772 hasAuthorship W3122093772A5088134720 @default.
• W3122093772 hasBestOaLocation W31220937721 @default.
• W3122093772 hasConcept C104317684 @default.
• W3122093772 hasConcept C111472728 @default.
• W3122093772 hasConcept C11413529 @default.
• W3122093772 hasConcept C133512626 @default.
• W3122093772 hasConcept C134306372 @default.
• W3122093772 hasConcept C135790938 @default.
• W3122093772 hasConcept C138885662 @default.
• W3122093772 hasConcept C142156749 @default.
• W3122093772 hasConcept C154945302 @default.
• W3122093772 hasConcept C155032097 @default.
• W3122093772 hasConcept C185592680 @default.
• W3122093772 hasConcept C199360897 @default.
• W3122093772 hasConcept C202444582 @default.
• W3122093772 hasConcept C202615002 @default.
• W3122093772 hasConcept C204241405 @default.
• W3122093772 hasConcept C2780586882 @default.
• W3122093772 hasConcept C33923547 @default.
• W3122093772 hasConcept C41008148 @default.
• W3122093772 hasConcept C42383842 @default.
• W3122093772 hasConcept C45374587 @default.
• W3122093772 hasConcept C50644808 @default.
• W3122093772 hasConcept C55493867 @default.
• W3122093772 hasConcept C61237538 @default.
• W3122093772 hasConcept C79678938 @default.
• W3122093772 hasConcept C80444323 @default.
• W3122093772 hasConcept C9652623 @default.
• W3122093772 hasConceptScore W3122093772C104317684 @default.
• W3122093772 hasConceptScore W3122093772C111472728 @default.
• W3122093772 hasConceptScore W3122093772C11413529 @default.
• W3122093772 hasConceptScore W3122093772C133512626 @default.
• W3122093772 hasConceptScore W3122093772C134306372 @default.
• W3122093772 hasConceptScore W3122093772C135790938 @default.
• W3122093772 hasConceptScore W3122093772C138885662 @default.
• W3122093772 hasConceptScore W3122093772C142156749 @default.
• W3122093772 hasConceptScore W3122093772C154945302 @default.
• W3122093772 hasConceptScore W3122093772C155032097 @default.
• W3122093772 hasConceptScore W3122093772C185592680 @default.
• W3122093772 hasConceptScore W3122093772C199360897 @default.
• W3122093772 hasConceptScore W3122093772C202444582 @default.
• W3122093772 hasConceptScore W3122093772C202615002 @default.
• W3122093772 hasConceptScore W3122093772C204241405 @default.
• W3122093772 hasConceptScore W3122093772C2780586882 @default.
• W3122093772 hasConceptScore W3122093772C33923547 @default.
• W3122093772 hasConceptScore W3122093772C41008148 @default.
• W3122093772 hasConceptScore W3122093772C42383842 @default.
• W3122093772 hasConceptScore W3122093772C45374587 @default.
• W3122093772 hasConceptScore W3122093772C50644808 @default.
• W3122093772 hasConceptScore W3122093772C55493867 @default.
• W3122093772 hasConceptScore W3122093772C61237538 @default.
• W3122093772 hasConceptScore W3122093772C79678938 @default.
• W3122093772 hasConceptScore W3122093772C80444323 @default.
• W3122093772 hasConceptScore W3122093772C9652623 @default.
• W3122093772 hasIssue "POPL" @default.
• W3122093772 hasLocation W31220937721 @default.
• W3122093772 hasLocation W31220937722 @default.
• W3122093772 hasLocation W31220937723 @default.
• W3122093772 hasLocation W31220937724 @default.
• W3122093772 hasLocation W31220937725 @default.
• W3122093772 hasLocation W31220937726 @default.
• W3122093772 hasLocation W31220937727 @default.
• W3122093772 hasOpenAccess W3122093772 @default.

• next