Yedi Zhang

Available identifiers

zbMath Open zhang.yediMaRDI QIDQ832161

List of research outcomes

Publication	Date of Publication	Type
\textsf{QEBVerif}: quantization error bound verification of neural networks	2024-01-12	Paper
\textsf{CLEVEREST}: accelerating CEGAR-based neural network verification via adversarial attacks	2023-07-28	Paper
\textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks	2022-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q4624673	2019-02-22	Paper

Research outcomes over time

This page was built for person: Yedi Zhang