Pages that link to "Item:Q5164169"
From MaRDI portal
The following pages link to How Many Bits Does it Take to Quantize Your Neural Network? (Q5164169):
Displaying 5 items.
- \textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks (Q832164) (← links)
- An SMT theory of fixed-point arithmetic (Q2096435) (← links)
- An SMT-based approach for verifying binarized neural networks (Q2233508) (← links)
- Bit-precise verification of discontinuity errors under fixed-point arithmetic (Q6045065) (← links)
- \textsf{QEBVerif}: quantization error bound verification of neural networks (Q6535546) (← links)