The following pages link to Zhe Zhao (Q832162):
Displayed 7 items.
- \textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks (Q832164) (← links)
- Auxiliary model method for transfer function estimation from noisy input and output data (Q2282891) (← links)
- (Q2860179) (← links)
- (Q3061545) (← links)
- (Q5321581) (← links)
- (Q5321607) (← links)
- \textsf{CLEVEREST}: accelerating CEGAR-based neural network verification via adversarial attacks (Q6109431) (← links)