justicia 0.0.1

This library can be used formally verify machine learning models on multiple fairness definitions.

Justicia

This is the implementation of our AAAI-2021 paper.

Install

• Install the python library pip install justicia
• Install other python dependencies pip install -r requirements.txt

Other dependencies

• SSAT solver
• PySAT