| --- |
| title: Eleusis |
| emoji: "🃏" |
| colorFrom: green |
| colorTo: gray |
| sdk: static |
| app_file: index.html |
| pinned: false |
| --- |
| |
| # Eleusis |
|
|
| Play [Eleusis](https://en.wikipedia.org/wiki/Eleusis_(card_game)) — the card game of |
| scientific induction — against a hidden rule, and compare your game with a trained |
| 4B model that played the **exact same deal**. |
|
|
| Two variants, switchable at the top of the page: |
|
|
| | | 🏆 Benchmark rules | 🎓 Simple rules | |
| |---|---|---| |
| | Hidden rules | 26 eval rules from the [Eleusis benchmark](https://huggingface.co/datasets/nph4rd/eleusis-hf-rules) | 6 held-out simple rules × 4 deals | |
| | Turns | 10 | 8 | |
| | Redraws | played card replaced from the deck | none — your hand shrinks | |
| | Model replays | [Qwen3.5-4B-eleusis-rl4-consistency-step30](https://huggingface.co/nph4rd/Qwen3.5-4B-eleusis-rl4-consistency-step30) (26×8 verification run) | Qwen3.5-4B LoRA, step 90 of [this hosted RL run](https://app.primeintellect.ai/dashboard/training/r9gjcjph7qwgq0c44byyyfg9) (24×8 eval) | |
|
|
| ## How it works |
| 1. **New game** draws a hidden rule from the selected variant's eval set. |
| 2. Each turn you pick a card from your hand to test: the rule accepts it onto the |
| mainline or rejects it. |
| 3. At any turn you may also write a **rule guess** (a small Python predicate over |
| `card` / `mainline`), or describe it in English and let ✨ Translate draft the |
| Python. Guessing is free and judged by *behavioral equivalence* — |
| the exact check used to evaluate the model. |
| 4. **Reveal the model's game** whenever you like: real recorded games on the same |
| rule and the same deal (starter card, hand, and draw order) — not live inference. |
|
|
| ## Fairness notes |
| - You and the model face the identical deal. In the benchmark variant, if you draw |
| past the model's recorded sequence, remaining draws come from a per-rule |
| deterministic shuffle. |
| - The model submitted a rule hypothesis every turn with no tools beyond |
| `play(rule, card)` — the same interface you have here. |
|
|
| Built with the [eleusis environment](https://app.primeintellect.ai/dashboard/environments/nph4rd/eleusis); |
| the in-Space rule engine is extracted verbatim from it. |
|
|
