Login / Signup

Efficient verification of neural networks based on neuron branching and LP abstraction.

Liang ZhaoXinmin DuanChenglong YangYuehao LiuYansong DongXiaobing WangWensheng Wang
Published in: Neurocomputing (2024)
Keyphrases