Verifiers

BaB

Parameters: https://github.com/oval-group/oval-bab/blob/main/tools/bab_tools/bab_runner.py

vnn-comp scripts: https://github.com/oval-group/oval-bab/tree/main/vnncomp_scripts

nnenum

Parameters: https://github.com/stanleybak/nnenum/blob/cf7c0e72c13543011a7ac3fbe0f5c59c3aafa77e/src/nnenum/settings.py

vnn-comp scripts: https://github.com/stanleybak/nnenum/tree/master/vnncomp_scripts

Verinet

Parameters: https://github.com/vas-group-imperial/VeriNet/blob/main/verinet/util/config.py

vnn-comp scripts: See repos README

Venus

Parameters: https://github.com/vas-group-imperial/venus2/blob/main/venus/common/configuration.py

vnn-comp scripts: -

Neurify

Parameters:

vnn-comp scripts:

Marabou

Parameters:

vnn-comp scripts:

ERAN

Parameters:

vnn-comp scripts:

MN-BaB

Parameters:

vnn-comp scripts: