ai-accuracy · GitHub Topics · GitHub
Skip to content
#

ai-accuracy

Star

Here are 3 public repositories matching this topic...

qwed-verification

QWED-AI / qwed-verification

Sponsor
Star 58

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 nlp machine-learning sympy smt-solver formal-verification ai-safety ai-security hallucination code-security ai-accuracy enterprise-ai neurosymbolic-ai llm-safety hallucination-detection z3-prover deterministic-ai llm-verification deterministic-verification deterministic-verification-layer
  • Updated Jun 19, 2026
  • Python
qwed-learning

QWED-AI / qwed-learning

Sponsor
Star 9

🎓 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