Efficient Verification of Neural Networks Against LVM-Based Specifications | IEEE Conference Publication | IEEE Xplore