GitHub repository: Ardnij123/BNN_verification
Primary language: TeX
Created: 2024-01-26T10:27:34Z
Description: Verification of binarised neural networks using ASP