QWED-AI/qwed-verification
A deterministic verification layer for AI systems. QWED verifies AI outputs using mathematics, symbolic reasoning, and formal methods (Z3, SMT, SymPy), creating an auditable trust boundary for agentic AI. Not generation. Verification.
Python
Stars
57
Forks
11
License
Apache-2.0
Open Issues
34
Updated
7m ago
No README available
Related Projects
donnemartin/system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
359.8k
Python
vinta/awesome-python
An opinionated list of Python frameworks, libraries, tools, and resources
311.2k
Python
practical-tutorials/project-based-learning
Curated list of project-based tutorials
275.9k
Python
tensorflow/tensorflow
An Open Source Machine Learning Framework for Everyone
196.6k
C++
Significant-Gravitas/AutoGPT
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.
185.8k
Python
yt-dlp/yt-dlp
A feature-rich command-line audio/video downloader
181.3k
Python
Statistics
- Stars
- 57
- Forks
- 11
- Open Issues
- 34
- Created
- Dec 13, 2025
- Updated
- Jul 30, 2026