🚀 Welcome to QWED - The Verification Layer for LLMs

[rahuldass19]

QWED is now open source!
What it does: Verifies LLM outputs using symbolic engines (SymPy, Z3, AST) instead of trusting probability.
Core idea: "Don't fix the liar. Verify the lie."
Feedback, ideas, and contributions welcome!

• GitHub: https://github.com/QWED-AI/qwed-verification
• Docs: https://docs.qwedai.com