Logic Gate Neural Networks are Good for Verification

Re-assign community