Compression Repair for Feedforward Neural Networks Based on Model Equivalence Evaluation

18 February 2024

Papers citing "Compression Repair for Feedforward Neural Networks Based on Model Equivalence Evaluation"

5 / 5 papers shown

Title
Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression Weiming Xiang Zhongzhu Shao 32 7 0 02 Feb 2022
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 88 292 0 09 Aug 2017
A Survey on Deep Learning in Medical Image Analysis G. Litjens Thijs Kooi B. Bejnordi A. Setio F. Ciompi Mohsen Ghafoorian Jeroen van der Laak Bram van Ginneken C. I. Sánchez OOD 298 10,618 0 19 Feb 2017
Incremental Network Quantization: Towards Lossless CNNs with Low-Precision Weights Aojun Zhou Anbang Yao Yiwen Guo Lin Xu Yurong Chen MQ 337 1,049 0 10 Feb 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 234 1,837 0 03 Feb 2017