 Structured Bayesian Compression for Deep Neural Networks Based on The
Turbo-VBI ApproachIEEE Transactions on Signal Processing (IEEE TSP), 2023 |
 QEBVerif: Quantization Error Bound Verification of Neural NetworksInternational Conference on Computer Aided Verification (CAV), 2022 |
