Analysis of bus priority scheme in Singapore

by Zhang, Yedi.
Published 2013

QEBVerif: Quantization error bound verification of neural networks

by ZHANG, Yedi, SONG, Fu, SUN, Jun
Published 2023

Certified quantization strategy synthesis for neural networks

by ZHANG, Yedi, CHEN, Guangke, SUN, Jun, SUN, Jun
Published 2024

QVIP: An ILP-based formal verification approach for quantized neural networks

by ZHANG, Yedi, ZHAO, Zhe, CHEN, Guangke, SONG, Fu, ZHANG, Min, CHEN, Taolue, SUN, Jun
Published 2022