Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387667049> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W4387667049 endingPage "1992" @default.
- W4387667049 startingPage "1964" @default.
- W4387667049 abstract "We present Pasado, a technique for synthesizing precise static analyzers for Automatic Differentiation. Our technique allows one to automatically construct a static analyzer specialized for the Chain Rule, Product Rule, and Quotient Rule computations for Automatic Differentiation in a way that abstracts all of the nonlinear operations of each respective rule simultaneously. By directly synthesizing an abstract transformer for the composite expressions of these 3 most common rules of AD, we are able to obtain significant precision improvement compared to prior works which compose standard abstract transformers together suboptimally. We prove our synthesized static analyzers sound and additionally demonstrate the generality of our approach by instantiating these AD static analyzers with different nonlinear functions, different abstract domains (both intervals and zonotopes) and both forward-mode and reverse-mode AD. We evaluate Pasado on multiple case studies, namely soundly computing bounds on a neural network’s local Lipschitz constant, soundly bounding the sensitivities of financial models, certifying monotonicity, and lastly, bounding sensitivities of the solutions of differential equations from climate science and chemistry for verified ranges of initial conditions and parameters. The local Lipschitz constants computed by Pasado on our largest CNN are up to 2750× more precise compared to the existing state-of-the-art zonotope analysis. The bounds obtained on the sensitivities of the climate, chemical, and financial differential equation solutions are between 1.31 − 2.81× more precise (on average) compared to a state-of-the-art zonotope analysis." @default.
- W4387667049 created "2023-10-17" @default.
- W4387667049 creator A5003099985 @default.
- W4387667049 creator A5053460642 @default.
- W4387667049 creator A5057462458 @default.
- W4387667049 creator A5082381936 @default.
- W4387667049 date "2023-10-16" @default.
- W4387667049 modified "2023-10-17" @default.
- W4387667049 title "Synthesizing Precise Static Analyzers for Automatic Differentiation" @default.
- W4387667049 cites W2043100293 @default.
- W4387667049 cites W2132661148 @default.
- W4387667049 cites W2291046857 @default.
- W4387667049 cites W2478429860 @default.
- W4387667049 cites W2566919497 @default.
- W4387667049 cites W2900153411 @default.
- W4387667049 cites W4320067913 @default.
- W4387667049 cites W4379165537 @default.
- W4387667049 cites W44933896 @default.
- W4387667049 cites W570570117 @default.
- W4387667049 doi "https://doi.org/10.1145/3622867" @default.
- W4387667049 hasPublicationYear "2023" @default.
- W4387667049 type Work @default.
- W4387667049 citedByCount "0" @default.
- W4387667049 crossrefType "journal-article" @default.
- W4387667049 hasAuthorship W4387667049A5003099985 @default.
- W4387667049 hasAuthorship W4387667049A5053460642 @default.
- W4387667049 hasAuthorship W4387667049A5057462458 @default.
- W4387667049 hasAuthorship W4387667049A5082381936 @default.
- W4387667049 hasBestOaLocation W43876670491 @default.
- W4387667049 hasConcept C11413529 @default.
- W4387667049 hasConcept C121332964 @default.
- W4387667049 hasConcept C133512626 @default.
- W4387667049 hasConcept C134306372 @default.
- W4387667049 hasConcept C154945302 @default.
- W4387667049 hasConcept C15744967 @default.
- W4387667049 hasConcept C158622935 @default.
- W4387667049 hasConcept C165801399 @default.
- W4387667049 hasConcept C199422724 @default.
- W4387667049 hasConcept C202444582 @default.
- W4387667049 hasConcept C22324862 @default.
- W4387667049 hasConcept C2780767217 @default.
- W4387667049 hasConcept C28826006 @default.
- W4387667049 hasConcept C33923547 @default.
- W4387667049 hasConcept C41008148 @default.
- W4387667049 hasConcept C45374587 @default.
- W4387667049 hasConcept C542102704 @default.
- W4387667049 hasConcept C62520636 @default.
- W4387667049 hasConcept C63584917 @default.
- W4387667049 hasConcept C66322947 @default.
- W4387667049 hasConceptScore W4387667049C11413529 @default.
- W4387667049 hasConceptScore W4387667049C121332964 @default.
- W4387667049 hasConceptScore W4387667049C133512626 @default.
- W4387667049 hasConceptScore W4387667049C134306372 @default.
- W4387667049 hasConceptScore W4387667049C154945302 @default.
- W4387667049 hasConceptScore W4387667049C15744967 @default.
- W4387667049 hasConceptScore W4387667049C158622935 @default.
- W4387667049 hasConceptScore W4387667049C165801399 @default.
- W4387667049 hasConceptScore W4387667049C199422724 @default.
- W4387667049 hasConceptScore W4387667049C202444582 @default.
- W4387667049 hasConceptScore W4387667049C22324862 @default.
- W4387667049 hasConceptScore W4387667049C2780767217 @default.
- W4387667049 hasConceptScore W4387667049C28826006 @default.
- W4387667049 hasConceptScore W4387667049C33923547 @default.
- W4387667049 hasConceptScore W4387667049C41008148 @default.
- W4387667049 hasConceptScore W4387667049C45374587 @default.
- W4387667049 hasConceptScore W4387667049C542102704 @default.
- W4387667049 hasConceptScore W4387667049C62520636 @default.
- W4387667049 hasConceptScore W4387667049C63584917 @default.
- W4387667049 hasConceptScore W4387667049C66322947 @default.
- W4387667049 hasFunder F4320306076 @default.
- W4387667049 hasIssue "OOPSLA2" @default.
- W4387667049 hasLocation W43876670491 @default.
- W4387667049 hasOpenAccess W4387667049 @default.
- W4387667049 hasPrimaryLocation W43876670491 @default.
- W4387667049 hasRelatedWork W1522139108 @default.
- W4387667049 hasRelatedWork W1977906818 @default.
- W4387667049 hasRelatedWork W1978893398 @default.
- W4387667049 hasRelatedWork W2032776242 @default.
- W4387667049 hasRelatedWork W2042395626 @default.
- W4387667049 hasRelatedWork W2045049461 @default.
- W4387667049 hasRelatedWork W2353528968 @default.
- W4387667049 hasRelatedWork W2364579609 @default.
- W4387667049 hasRelatedWork W2369625323 @default.
- W4387667049 hasRelatedWork W4381094582 @default.
- W4387667049 hasVolume "7" @default.
- W4387667049 isParatext "false" @default.
- W4387667049 isRetracted "false" @default.
- W4387667049 workType "article" @default.