mathematical models to provide probabilistic guarantees about an AI agent's behavior as it runs
- Projects
- 1
- Winning projects
- 0
- Hackathons
- 1
- Active
- 2026
Builds in
Teammates
Projects
Projects are linked from GitHub commits to each project's repo during its hackathon, so some may be missing or wrong. Prize money is each project's total, shared with teammates. Is this you?