langchain

feat: Add QWED neurosymbolic verification tool

#34595

Closed