FRINK Linked Data Fragments server

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

• W4284692938 abstract "Deep learning has been increasingly adopted in many application areas. To construct valid deep learning models, developers must conform to certain computational constraints by carefully selecting appropriate neural architectures and hyperparameter values. For example, the kernel size hyperparameter of the 2D convolution operator cannot be overlarge to ensure that the height and width of the output tensor remain positive. Because model construction is largely manual and lacks necessary tooling support, it is possible to violate those constraints and raise type errors of deep learning models, causing either runtime exceptions or wrong output results. In this paper, we propose Refty, a refinement type-based tool for statically checking the validity of deep learning models ahead of job execution. Refty refines each type of deep learning operator with framework-independent logical formulae that describe the computational constraints on both tensors and hyperparameters. Given the neural architecture and hyperparameter domains of a model, Refty visits every operator, generates a set of constraints that the model should satisfy, and utilizes an SMT solver for solving the constraints. We have evaluated Refty on both individual operators and representative real-world models with various hyperparameter values under PyTorch and TensorFlow. We also compare it with an existing shape-checking tool. The experimental results show that Refty finds all the type errors and achieves 100% Precision and Recall, demonstrating its effectiveness." @default.
• W4284692938 created "2022-07-08" @default.
• W4284692938 creator A5013547786 @default.
• W4284692938 creator A5031774552 @default.
• W4284692938 creator A5034422993 @default.
• W4284692938 creator A5043479748 @default.
• W4284692938 creator A5058691896 @default.
• W4284692938 creator A5085029041 @default.
• W4284692938 date "2022-05-21" @default.
• W4284692938 modified "2023-09-27" @default.
• W4284692938 title "Refty" @default.
• W4284692938 cites W1128447031 @default.
• W4284692938 cites W1480909796 @default.
• W4284692938 cites W2007106955 @default.
• W4284692938 cites W2007339694 @default.
• W4284692938 cites W2009259962 @default.
• W4284692938 cites W2024914463 @default.
• W4284692938 cites W2033315990 @default.
• W4284692938 cites W2052363833 @default.
• W4284692938 cites W2064675550 @default.
• W4284692938 cites W2094469165 @default.
• W4284692938 cites W2097117768 @default.
• W4284692938 cites W2101085206 @default.
• W4284692938 cites W2104644663 @default.
• W4284692938 cites W2108598243 @default.
• W4284692938 cites W2135437289 @default.
• W4284692938 cites W2155893237 @default.
• W4284692938 cites W2157331557 @default.
• W4284692938 cites W2167685423 @default.
• W4284692938 cites W2402619042 @default.
• W4284692938 cites W2516621648 @default.
• W4284692938 cites W2542459869 @default.
• W4284692938 cites W2833521132 @default.
• W4284692938 cites W2850992922 @default.
• W4284692938 cites W2955426500 @default.
• W4284692938 cites W2968594320 @default.
• W4284692938 cites W2983464374 @default.
• W4284692938 cites W3005780259 @default.
• W4284692938 cites W3005940936 @default.
• W4284692938 cites W3021970402 @default.
• W4284692938 cites W3090567261 @default.
• W4284692938 cites W3099972168 @default.
• W4284692938 cites W3103114563 @default.
• W4284692938 cites W3108572925 @default.
• W4284692938 cites W3110358918 @default.
• W4284692938 cites W3123509436 @default.
• W4284692938 cites W3133951772 @default.
• W4284692938 cites W3175685504 @default.
• W4284692938 cites W3206217957 @default.
• W4284692938 cites W2337552642 @default.
• W4284692938 doi "https://doi.org/10.1145/3510003.3510077" @default.
• W4284692938 hasPublicationYear "2022" @default.
• W4284692938 type Work @default.
• W4284692938 citedByCount "0" @default.
• W4284692938 crossrefType "proceedings-article" @default.
• W4284692938 hasAuthorship W4284692938A5013547786 @default.
• W4284692938 hasAuthorship W4284692938A5031774552 @default.
• W4284692938 hasAuthorship W4284692938A5034422993 @default.
• W4284692938 hasAuthorship W4284692938A5043479748 @default.
• W4284692938 hasAuthorship W4284692938A5058691896 @default.
• W4284692938 hasAuthorship W4284692938A5085029041 @default.
• W4284692938 hasConcept C104317684 @default.
• W4284692938 hasConcept C10485038 @default.
• W4284692938 hasConcept C108583219 @default.
• W4284692938 hasConcept C114614502 @default.
• W4284692938 hasConcept C119857082 @default.
• W4284692938 hasConcept C12267149 @default.
• W4284692938 hasConcept C154945302 @default.
• W4284692938 hasConcept C158448853 @default.
• W4284692938 hasConcept C17020691 @default.
• W4284692938 hasConcept C177264268 @default.
• W4284692938 hasConcept C185592680 @default.
• W4284692938 hasConcept C199360897 @default.
• W4284692938 hasConcept C2778770139 @default.
• W4284692938 hasConcept C33923547 @default.
• W4284692938 hasConcept C41008148 @default.
• W4284692938 hasConcept C45347329 @default.
• W4284692938 hasConcept C50644808 @default.
• W4284692938 hasConcept C55493867 @default.
• W4284692938 hasConcept C74193536 @default.
• W4284692938 hasConcept C81363708 @default.
• W4284692938 hasConcept C86339819 @default.
• W4284692938 hasConcept C8642999 @default.
• W4284692938 hasConceptScore W4284692938C104317684 @default.
• W4284692938 hasConceptScore W4284692938C10485038 @default.
• W4284692938 hasConceptScore W4284692938C108583219 @default.
• W4284692938 hasConceptScore W4284692938C114614502 @default.
• W4284692938 hasConceptScore W4284692938C119857082 @default.
• W4284692938 hasConceptScore W4284692938C12267149 @default.
• W4284692938 hasConceptScore W4284692938C154945302 @default.
• W4284692938 hasConceptScore W4284692938C158448853 @default.
• W4284692938 hasConceptScore W4284692938C17020691 @default.
• W4284692938 hasConceptScore W4284692938C177264268 @default.
• W4284692938 hasConceptScore W4284692938C185592680 @default.
• W4284692938 hasConceptScore W4284692938C199360897 @default.
• W4284692938 hasConceptScore W4284692938C2778770139 @default.
• W4284692938 hasConceptScore W4284692938C33923547 @default.
• W4284692938 hasConceptScore W4284692938C41008148 @default.
• W4284692938 hasConceptScore W4284692938C45347329 @default.
• W4284692938 hasConceptScore W4284692938C50644808 @default.

• next