# SAIR Playground

> SAIR Playground is an interactive workspace for building, running, and submitting cheatsheets and solvers for SAIR's competition challenges. Hosted by SAIR (the Foundation for Science and AI Research). Tagline: "Build, run, and submit solutions to SAIR challenges."

## Challenge workspaces

- [Modular Arithmetic Challenge Workspace](https://playground.sair.foundation/playground/modular-arithmetic-challenge): Interactive workspace for running Modular Arithmetic Challenge evaluations. Requires SAIR ID sign-in.
- [Mathematics Distillation Challenge — Equational Theories (Stage 2) Workspace](https://playground.sair.foundation/playground/mathematics-distillation-challenge-equational-theories-stage2): Interactive workspace for building and running Lean solver submissions for Equational Theories Stage 2. Requires SAIR ID sign-in.
- [Mathematics Distillation Challenge — Equational Theories (Stage 1) Workspace](https://playground.sair.foundation/playground/mathematics-distillation-challenge-equational-theories-stage1): Interactive workspace for building and running cheatsheet prompts for Equational Theories Stage 1. Requires SAIR ID sign-in.

## More from SAIR

- [Modular Arithmetic Challenge Official Evaluation Spec](https://playground.sair.foundation/playground/modular-arithmetic-challenge/official-evaluation-spec): Public evaluation requirements for Modular Arithmetic Challenge runs, including runtime, workload, timeouts, and leaderboard eligibility.
- [Equational Theories Stage 2 Official Evaluation Spec](https://playground.sair.foundation/playground/mathematics-distillation-challenge-equational-theories-stage2/official-evaluation-spec): Public evaluation requirements for Stage 2 solver submissions, including the CPU-only sandbox, solver.py format, Lean judge policy, model proxy, timeouts, and leaderboard eligibility.
- [Competitions](https://competition.sair.foundation): Open mathematics and AI challenges.
- [SAIR Foundation](https://sair.foundation): Mission, programs, and events.
- Contact: press@sair.foundation