Skip to content
#

ai-accuracy

Star

Here are 3 public repositories matching this topic...

qwed-verification

QWED-AI / qwed-verification

Sponsor
Star 59

Open-source AI verification infrastructure for deterministic verification of LLM outputs, tool calls, code, schemas, and agent state before production execution.

python machine-learning sympy smt-solver formal-verification ai-safety ai-security hallucination code-security ai-accuracy enterprise-ai llm-safety hallucination-detection z3-prover fail-closed deterministic-ai llm-verification deterministic-verification verification-context diagnostic-result
  • Updated Sep 22, 2026
  • Python
qwed-learning

QWED-AI / qwed-learning

Sponsor
Star 12

🎓 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 Sep 14, 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

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