GitHub repository: uiuc-focal-lab/RaVeN
Primary language: Python
Description: RaVeN : Relational Verification of Neural Networks