*** Neural Network Verification using Residual Reasoning
*** August 2023

Welcome to the Neural Network Verification using Residual Reasoning
code. 

================
 (Basic) Usage:
==============
Marabou version to work with: 5d52f027e6b853a4758f50774bd4f6d1bd60fe9a

After setting all up using poetry or pip/conda, the user can run 
from command-line command like:
python main.py --output-path <output-dir-path> --method <method> --property <property> --network-path <network-path>

for example
python main.py --output-path /tmp/result_dir --method residual_reasoning --property adversarial_1 --network-path ~/Research/Code/MarabouApplications/acas/nnet/ACASXU_run2a_1_2_batch_2000.nnet

method is one of marabou_vanilla, abstraction_refinement, residual_reasoning
property is name of property, see at
 - experiments_common_and_utils/more_properties.py
 - experiments_common_and_utils/more_properties.py
network-path is path to .nnet file (not in this repo):
 - MarabouApplications/acas/nnet/ACASXU_run2a_1_2_batch_2000.nnet

Thank you for using our code!
