Login / Signup

MpBP: verifying robustness of neural networks with multi-path bound propagation.

Ye ZhengJiaxiang LiuXiaomu Shi
Published in: ESEC/SIGSOFT FSE (2022)
Keyphrases