Logic Gate Neural Networks are Good for Verification

Open in new window