eth-sri / eran

ETH Robustness Analyzer for Deep Neural Networks

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

PRIMA example command

altostratous opened this issue · comments

ERAN looks fairly configurable. But I'm not sure if what configuration would be the one considered in the PRIMA work. Would you mind documenting the configurations used in each work? I can also help with this if you point me to where I can find the details of work results.

Great thanks.

Hello @altostratous,
Generally, PRIMA is used when the domain is set to "refinepoly" or "refinegpupoly" (see the README for more details). Please see our paper for the detailed configurations used.
Cheers,
Mark