4th International Verification of Neural Networks Competition (VNN-COMP'23)