auto_LiRPA icon indicating copy to clipboard operation
auto_LiRPA copied to clipboard

Published 20 hours ago • verified publisher icon Verified-Intelligence

Intermediate bounds

Open nurlanov-zh opened this issue 2 years ago • 0 comments

@huanzhang12 However, such obtained bounds will not be the same as in CROWN method, won't they? I wanted to look at intermediate bounds from particular methods. Is it possible to obtain those, even though the efficiency is reduced?

Originally posted by @nurlanov-zh in https://github.com/KaidiXu/auto_LiRPA/issues/22#issuecomment-1092565059

nurlanov-zh avatar Apr 08 '22 08:04 nurlanov-zh