Skip to content
#

ai-safety-course

Star

Here is 1 public repository matching this topic...

qwed-learning

QWED-AI / qwed-learning

Sponsor
Star 4

🎓 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 Jan 24, 2026
  • Python

Improve this page

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

Learn more