QWED Neurosymbolic Verification