共 50 条
- [1] Formal Analysis of Deep Binarized Neural Networks [J]. PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 5692 - 5696
- [2] Verifying Properties of Binarized Deep Neural Networks [J]. THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, : 6615 - 6624
- [3] Towards Stochasticity of Regularization in Deep Neural Networks [J]. 2018 14TH SYMPOSIUM ON NEURAL NETWORKS AND APPLICATIONS (NEUREL), 2018,
- [4] Binarized Neural Networks [J]. ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 29 (NIPS 2016), 2016, 29
- [5] Fast Simulation Method for Analog Deep Binarized Neural Networks [J]. 2019 INTERNATIONAL SOC DESIGN CONFERENCE (ISOCC), 2019, : 293 - 294
- [6] LightNN: Filling the Gap between Conventional Deep Neural Networks and Binarized Networks [J]. PROCEEDINGS OF THE GREAT LAKES SYMPOSIUM ON VLSI 2017 (GLSVLSI' 17), 2017, : 35 - 40
- [7] Verifying Binarized Neural Networks by Angluin-Style Learning [J]. THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, 2019, 11628 : 354 - 370
- [10] Leveraging deep learning to control neural oscillators [J]. Biological Cybernetics, 2021, 115 : 219 - 235