Giters

Ardnij123 / BNN_verification

Verification of binarised neural networks using ASP

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Verification of binarised neural networks using ASP

Languages

Language:TeX 91.9%Language:Python 5.5%Language:Makefile 2.0%Language:Shell 0.6%Language:Perl 0.0%