HIGHLIGHTS
- who: Gerrit Nolte from the rtmund, Germany have published the research work: The power of typed affine decision structures: a case study, in the Journal: (JOURNAL)
- what: The authors show that PCA is easily compatible with TADS. While TADS do not yet scale as efficiently as state-of-the-art neural network verifiers the authors show that using PCA-based simplifications they can still scale to mediumsized problems and yield concise explanations for potential errors that can be used for other purposes such as debugging a network or generating new training samples. The authors show . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.