共 50 条
- [21] On temporal generalization of simple recurrent networks NEURAL NETWORKS, 1996, 9 (07) : 1099 - 1118
- [22] Sensitivity-Informed Provable Pruning of Neural Networks SIAM JOURNAL ON MATHEMATICS OF DATA SCIENCE, 2022, 4 (01): : 26 - 45
- [23] Provable Preimage Under-Approximation for Neural Networks TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT III, TACAS 2024, 2024, 14572 : 3 - 23
- [24] Towards Effective Training of Robust Spiking Recurrent Neural Networks under General Input Noise via Provable Analysis 2023 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, ICCAD, 2023,
- [26] Provable Guarantees for Neural Networks via Gradient Feature Learning ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 36 (NEURIPS 2023), 2023,
- [27] Architecture-Preserving Provable Repair of Deep Neural Networks PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (PLDI):
- [28] Recognizing recurrent neural networks (rRNN): Bayesian inference for recurrent neural networks Biological Cybernetics, 2012, 106 : 201 - 217
- [30] PROVABLE TRANSLATIONAL ROBUSTNESS FOR OBJECT DETECTION WITH CONVOLUTIONAL NEURAL NETWORKS 2021 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP), 2021, : 694 - 698