QEBVerif: Quantization error bound verification of neural networks

QEBVerif: Quantization error bound verification of neural networks

To alleviate the practical constraints for deploying deep neural networks (DNNs) on edge devices, quantization is widely regarded as one promising technique. It reduces the resource requirements for computational power and storage space by quantizing the weights and/or activation tensors of a DNN in...

Saved in:

書目詳細資料
Main Authors:	ZHANG, Yedi, SONG, Fu, SUN, Jun
格式:	text
語言:	English
出版:	Institutional Knowledge at Singapore Management University 2023
主題:	OS and Networks Software Engineering
在線閱讀:	https://ink.library.smu.edu.sg/sis_research/8119 https://ink.library.smu.edu.sg/context/sis_research/article/9122/viewcontent/Computer_Aided_Verification.pdf
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Verification of bit-flip attacks against quantized neural networks
由: ZHANG, Yedi, et al.
出版: (2025)

QVIP: An ILP-based formal verification approach for quantized neural networks
由: ZHANG, Yedi, et al.
出版: (2022)

Quantization-aware interval bound propagation for training certifiably robust quantized neural networks
由: LECHNER, Mathias, et al.
出版: (2023)

Scalable verification of quantized neural networks
由: HENZINGER, Thomas A., et al.
出版: (2021)

Certified continual learning for neural network regression
由: PHAM, Hong Long, et al.
出版: (2024)

Efficient Data Compression with Error Bound Guarantee in Wireless Sensor Networks
由: Mohammad Abu Alsheikh,, et al.
出版: (2014)

Neural network semantic backdoor detection and mitigation: A causality-based approach
由: SUN, Bing, et al.
出版: (2024)

Stability verification in stochastic control systems via neural network supermartingales
由: LECHNER, Mathias, et al.
出版: (2024)

Decision-guided weighted automata extraction from recurrent neural networks
由: ZHANG, Xiyue, et al.
出版: (2021)

A quantitative analysis framework for recurrent neural network
由: DU, Xiaoning, et al.
出版: (2019)

Watch out! Motion is blurring the vision of your deep neural networks
由: GUO, Qing, et al.
出版: (2020)

DeepHunter: A coverage-guided fuzz testing framework for deep neural networks
由: XIE, Xiaofei, et al.
出版: (2019)

Cross-project defect prediction via ASTToken2Vec and BLSTM-based neural network
由: LI, Hao, et al.
出版: (2019)

Network-clustered multi-modal bug localization
由: HOANG, Thong, et al.
出版: (2019)

Quality of service in mobile ad hoc networks: Myth or reality?
由: SEAH, W.K.G., et al.
出版: (2007)

TreeCaps: Tree-based capsule networks for source code processing
由: BUI, Duy Quoc Nghi, et al.
出版: (2021)

Which neural network makes more explainable decisions? An approach towards measuring explainability
由: ZHANG, Mengdi, et al.
出版: (2022)

CellTradeMap: Delineating trade areas for urban commercial districts with cellular networks
由: ZHAO, Yi, et al.
出版: (2019)

Infinite time horizon safety of Bayesian neural networks
由: LECHNER, Mathias, et al.
出版: (2021)

Seed selection for testing deep neural networks
由: ZHI, Yuhan, et al.
出版: (2023)

Certified robust accuracy of neural networks are bounded due to Bayes errors
由: ZHANG, Ruihan, et al.
出版: (2024)

Deepcause: Verifying neural networks with abstraction refinement
由: NGUYEN HUA GIA PHUC,
出版: (2022)

Towards omni-generalizable neural methods for vehicle routing problems
由: ZHOU, Jianan, et al.
出版: (2023)

Certified quantization strategy synthesis for neural networks
由: ZHANG, Yedi, et al.
出版: (2024)

Lightweight and efficient neural natural language processing with quaternion networks
由: TAY, Yi, et al.
出版: (2019)

An empirical study on robustness of DNNs with out-of-distribution awareness
由: ZHOU, Lingjun, et al.
出版: (2020)

DeepMutation++: A mutation testing framework for deep learning systems
由: HU, Qiang, et al.
出版: (2019)

Marble: Model-based robustness analysis of stateful deep learning systems
由: DU, Xiaoning, et al.
出版: (2020)

Neural architecture search of SPD manifold networks
由: SUKTHANKER, R.S., et al.
出版: (2021)

A prototype for palm print identity verification using hierarchical neural network architecture
由: Didulo, Dennis L.
出版: (1999)

Stitching weight-shared deep neural networks for efficient multitask inference on GPU
由: WANG, Zeyu, et al.
出版: (2022)

Probablistic verification of neural networks against group fairness
由: SUN, Bing, et al.
出版: (2021)

Empirical risk landscape analysis for understanding deep neural networks
由: ZHOU, Pan, et al.
出版: (2018)

Simple and effective curriculum pointer-generator networks for reading comprehension over long narratives
由: TAY, Yi, et al.
出版: (2019)

Breathing-based authentication on resource-constrained IoT devices using recurrent neural networks
由: CHAUHAN, Jagmohan, et al.
出版: (2018)

Surface roughness modelling with neural networks
由: PATRIKAR, Rajendra M., et al.
出版: (2002)

Improving neural network verification through spurious region guided refinement
由: YANG, Pengfei, et al.
出版: (2021)

Pre-training graph neural networks for link prediction in biomedical networks
由: LONG, Yahui, et al.
出版: (2022)

Network Effects and Embedded Options: Decision-Making under Uncertainty for Network Technology Investments.
由: KAUFFMAN, Robert John, et al.
出版: (2008)

Fuzzy neural logic network and its learning algorithms
由: NAH, Fiona Fui-hoon, et al.
出版: (1991)