Skip to content
#

ai-accuracy

Star

Here are 3 public repositories matching this topic...

qwed-verification

QWED-AI / qwed-verification

Sponsor
Star 57

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 May 18, 2026
  • Python
qwed-learning

QWED-AI / qwed-learning

Sponsor
Star 8

🎓 Free course on deterministic AI verification and AISecOps. Learn fail-closed AI architecture, formal verification, audit integrity, MCP security, and trust-boundary engineering 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 May 15, 2026
  • Python

vbepipe / vmrrb-benchmark

Star 3

Benchmark for evaluating advanced reasoning, recursive dependency resolution, and robustness capabilities of large language models in dynamic, noisy, and structurally challenging environments.

benchmark dependency-resolution ai-accuracy multistep-reasoning ai-evaluation large-language-models ai-reasoning llm-evaluation reasoning-benchmark llm-benchmark ai-reliability recursive-reasoning ai-stability long-chain-reasoning
  • Updated May 15, 2026
  • Python

Improve this page

Add a description, image, and links to the ai-accuracy 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 ai-accuracy topic, visit your repo's landing page and select "manage topics."

Learn more