Skip to content
#

ai-course

Star

Here are 2 public repositories matching this topic...

Language: Python
Filter by language
All 17 Jupyter Notebook 4 HTML 2 Python 2 TypeScript 1
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

hafsa-imtiaz / ai-pathfinding-optimization

Star 0

Traditional AI algorithms and search strategies: Multi-robot pathfinding with dynamic obstacles, constraint satisfaction problems, and optimization techniques. Implementations include A*, CSP solvers, genetic algorithms, and local beam search for real-world AI applications.

csp optimization genetic-algorithm pathfinding constraint-satisfaction-problem artificial-intelligence backtracking a-star search-algorithm alpha-beta-pruning multi-agent-systems graph-coloring ai-course local-beam-search
  • Updated Feb 7, 2026
  • Python

Improve this page

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

Learn more