共 50 条
- [11] Abstraction based Output Range Analysis for Neural Networks ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 32 (NIPS 2019), 2019, 32
- [13] DERIVING TESTS FOR DIGITAL CIRCUITS AT LOWER AND HIGHER ABSTRACTION LEVELS VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-UPRAVLENIE VYCHISLITELNAJA TEHNIKA I INFORMATIKA-TOMSK STATE UNIVERSITY JOURNAL OF CONTROL AND COMPUTER SCIENCE, 2019, (47): : 110 - 117
- [14] Timing Verification of Distributed Network Systems at Higher Levels of Abstraction HLDVT: 2008 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2008, : 101 - 107
- [15] Neuron Dependency Graphs: A Causal Abstraction of Neural Networks INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 162, 2022,
- [17] Abstraction Mechanisms Predict Generalization in Deep Neural Networks INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 119, 2020, 119
- [18] The Neural Race Reduction: Dynamics of Abstraction in Gated Networks INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 162, 2022, : 19287 - 19309
- [19] Abstraction Mechanisms Predict Generalization in Deep Neural Networks 25TH AMERICAS CONFERENCE ON INFORMATION SYSTEMS (AMCIS 2019), 2019,