Neural Network Verification

Project for UVA CS6501: Software Engineering for Machine Learning

Using α,β-CROWN

This part could be tested using online notebook, check the link here. Motivation and summary are presented.

You could also check the local file here. It's better to run this online.

For any problem please contact:

Alireza Jafari, University of Virginia (jrp5td AT virginia.edu)

Yang Yang, University of Virginia (xqg5sq AT virginia.edu)

Using Fairify

For this part, please check this README for detailed information.

For any problem contact:

Yang Yang, University of Virginia (xqg5sq AT virginia.edu)

Alireza Jafari, University of Virginia (jrp5td AT virginia.edu)

Credits

Credits are mentioned in both notebook file here and readme file here.

Thanks for the authors who created and released these tools, and thanks for Prof. Elbaum for instructions duing this project.