A Bit Too Precise? Bounded Verification of Quantized Digital Filters
Abstract elided by the publisher.
Related papers
- How Many Bits Does it Take to Quantize Your Neural Network? TACAS 2020
- QEBVerif: Quantization Error Bound Verification of Neural Networks CAV 2023
- QIGen: A Kernel Generator for Inference on Nonuniformly Quantized Large Language Models CGO 2026
- Verification of Bit-Flip Attacks against Quantized Neural Networks OOPSLA 2025
- High-Throughput Non-uniformly Quantized 3-bit LLM Inference PPoPP 2026
- Automatic generation of high-performance quantized machine learning kernels CGO 2020
- JanusQuant: Accurate and Efficient 2-bit KV Cache Quantization for Long-Context Inference PPoPP 2026
- MARLIN: Mixed-Precision Auto-Regressive Parallel Inference on Large Language Models PPoPP 2025