The first open-source Neurosymbolic AI Verification Layer. QWED prevents hallucinations in high-stakes LLM applications (Math, Finance, Logic) by using deterministic engines (SymPy, Z3, AST) to verify AI outputs.
Fund this project
Mon, 23 Feb 2026 18:56:36 UTC
There was a problem with this listing's funding.json manifest.
If it is not fixed, the listing will be removed from the portal.
Crawl error
error: https://github.com/QWED-AI/qwed-verification/blob/main/funding.json?raw=true returned 429
Rahul Dass
qwedai.com
github.com/QWED-AI/qwed-verification