The Venus verifier developed by our group participated in the Verification of Neural Networks Competition (VNN-COMP 2021) held at CAV’21 and won the Beat-Randgen Award.