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:58:03 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://qwedai.com/funding.json returned 520
Rahul Dass
qwedai.com
github.com/QWED-AI/qwed-verification