conftrace_

quantized neural network

10 papers

Explore in graph

Also known as

QNN

Co-occurring keywords

neural network quantization (122) neural network optimization (1293) model compression (3302) neural network verification (106) formal verification (284) weight quantization (137) complexity analysis (93) quantized graph neural network (1) model capacity (23) embedded system (21)

Papers

Verifying Quantized Graph Neural Networks is PSPACE-complete IJCAI 2025
Towards Efficient Verification of Quantized Neural Networks AAAI 2024
ASkewSGD : An Annealed interval-constrained Optimisation method to train Quantized Neural Networks AISTATS 2023
Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks AAAI 2023
Integer-Arithmetic-Only Certified Robustness for Quantized Neural Networks ICCV 2021
Scalable Verification of Quantized Neural Networks AAAI 2021
Searching for Low-Bit Weights in Quantized Neural Networks NIPS 2020
Defending and Harnessing the Bit-Flip Based Adversarial Weight Attack CVPR 2020
A Mean Field Theory of Quantized Deep Networks: The Quantization-Depth Trade-Off NIPS 2019
Training Quantized Nets: A Deeper Understanding NIPS 2017