Our paper, titled “Logic Gate Neural Networks are Good for Verification”, received the DARPA award at NeuS!