Skip to content
#

z3-prover

Star

Here are 4 public repositories matching this topic...

Language: All
Filter by language
All 4 Python 2 C++ 1 TeX 1
qwed-verification

QWED-AI / qwed-verification

Sponsor
Star 53

AISecOps (AI Security Operations) framework for deterministic verification of AI systems. QWED verifies LLM outputs using math, logic, and symbolic execution — creating an auditable trust boundary for agentic AI systems. Not generation. Verification.

python nlp machine-learning sympy smt-solver formal-verification ai-safety ai-security hallucination code-security ai-accuracy generative-ai enterprise-ai neurosymbolic-ai llm-safety hallucination-detection z3-prover deterministic-ai aisecops llm-verification
  • Updated Apr 10, 2026
  • Python
qwed-learning

QWED-AI / qwed-learning

Sponsor
Star 7

🎓 Free course on deterministic AI verification. Learn how to mathematically prove LLM output correctness using formal methods. From theory to production workflows with QWED-AI.

python machine-learning jupyter-notebook artificial-intelligence sympy formal-verification ai-safety free-course ai-accuracy developer-education llm-security neurosymbolic-ai hallucination-detection ai-verification z3-prover ai-course deterministic-ai llm-verification qwed-ai ai-safety-course
  • Updated Mar 23, 2026
  • Python

Improve this page

Add a description, image, and links to the z3-prover topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the z3-prover topic, visit your repo's landing page and select "manage topics."

Learn more