Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287709239> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W4287709239 abstract "Studies show that neural networks, not unlike traditional programs, are subject to bugs, e.g., adversarial samples that cause classification errors and discriminatory instances that demonstrate the lack of fairness. Given that neural networks are increasingly applied in critical applications (e.g., self-driving cars, face recognition systems and personal credit rating systems), it is desirable that systematic methods are developed to analyze (e.g., test or verify) neural networks against desirable properties. Recently, a number of approaches have been developed for analyzing neural networks. These efforts are however scattered (i.e., each approach tackles some restricted classes of neural networks against certain particular properties), incomparable (i.e., each approach has its own assumptions and input format) and thus hard to apply, reuse or extend. In this project, we aim to build a unified framework for developing techniques to analyze neural networks. Towards this goal, we develop a platform called SOCRATES which supports a standardized format for a variety of neural network models, an assertion language for property specification as well as multiple neural network analysis algorithms including two novel ones for falsifying and probabilistic verification of neural network models. SOCRATES is extensible and thus existing approaches can be easily integrated. Experiment results show that our platform can handle a wide range of networks models and properties. More importantly, it provides a platform for synergistic research on neural network analysis." @default.
- W4287709239 created "2022-07-26" @default.
- W4287709239 creator A5053797252 @default.
- W4287709239 creator A5068911982 @default.
- W4287709239 creator A5088791019 @default.
- W4287709239 date "2020-07-22" @default.
- W4287709239 modified "2023-09-26" @default.
- W4287709239 title "SOCRATES: Towards a Unified Platform for Neural Network Analysis" @default.
- W4287709239 hasPublicationYear "2020" @default.
- W4287709239 type Work @default.
- W4287709239 citedByCount "0" @default.
- W4287709239 crossrefType "posted-content" @default.
- W4287709239 hasAuthorship W4287709239A5053797252 @default.
- W4287709239 hasAuthorship W4287709239A5068911982 @default.
- W4287709239 hasAuthorship W4287709239A5088791019 @default.
- W4287709239 hasBestOaLocation W42877092391 @default.
- W4287709239 hasConcept C111472728 @default.
- W4287709239 hasConcept C119857082 @default.
- W4287709239 hasConcept C136197465 @default.
- W4287709239 hasConcept C138885662 @default.
- W4287709239 hasConcept C154945302 @default.
- W4287709239 hasConcept C189950617 @default.
- W4287709239 hasConcept C41008148 @default.
- W4287709239 hasConcept C49937458 @default.
- W4287709239 hasConcept C50644808 @default.
- W4287709239 hasConceptScore W4287709239C111472728 @default.
- W4287709239 hasConceptScore W4287709239C119857082 @default.
- W4287709239 hasConceptScore W4287709239C136197465 @default.
- W4287709239 hasConceptScore W4287709239C138885662 @default.
- W4287709239 hasConceptScore W4287709239C154945302 @default.
- W4287709239 hasConceptScore W4287709239C189950617 @default.
- W4287709239 hasConceptScore W4287709239C41008148 @default.
- W4287709239 hasConceptScore W4287709239C49937458 @default.
- W4287709239 hasConceptScore W4287709239C50644808 @default.
- W4287709239 hasLocation W42877092391 @default.
- W4287709239 hasOpenAccess W4287709239 @default.
- W4287709239 hasPrimaryLocation W42877092391 @default.
- W4287709239 hasRelatedWork W10600273 @default.
- W4287709239 hasRelatedWork W12428677 @default.
- W4287709239 hasRelatedWork W256534 @default.
- W4287709239 hasRelatedWork W2701911 @default.
- W4287709239 hasRelatedWork W3370582 @default.
- W4287709239 hasRelatedWork W3444698 @default.
- W4287709239 hasRelatedWork W5029139 @default.
- W4287709239 hasRelatedWork W6878516 @default.
- W4287709239 hasRelatedWork W7091236 @default.
- W4287709239 hasRelatedWork W9463276 @default.
- W4287709239 isParatext "false" @default.
- W4287709239 isRetracted "false" @default.
- W4287709239 workType "article" @default.