Awesome Lists

Tic-Tac-Stark

by gizatechxyz

Jupyter Notebookpushed almost 3 years ago

A provable Tic-Tac-Toe AI model using Orion and Cairo

AI summary

Game AI prototype

An experimental proof-of-concept integrating AI agents with formally verified decision-making capabilities in an autonomous environment using Tic Tac Toe as a simple game

stars
10
forks
1
watching
2
awesome list
1
View on GitHub

Embed the badge

Show how many awesome lists link to your project. The count updates automatically.

Awesome Lists badge
Markdown
[![Awesome Lists Badge](https://awesome.facts.dev/shield/gizatechxyz/Tic-Tac-Stark/links.svg)](https://awesome.facts.dev/awesome/gizatechxyz/Tic-Tac-Stark)
HTML
<a href="https://awesome.facts.dev/awesome/gizatechxyz/Tic-Tac-Stark"><img src="https://awesome.facts.dev/shield/gizatechxyz/Tic-Tac-Stark/links.svg" alt="Awesome Lists Badge" /></a>
Image URL
https://awesome.facts.dev/shield/gizatechxyz/Tic-Tac-Stark/links.svg

Add a GitHub project

Missing a project or an awesome list? Paste its GitHub URL and we fetch it right away.