license:apache-2.0 region:us
---
license: apache-2.0
---
# Euclidea Dataset

The Euclidea Dataset, derived from the challenging geometry game Euclidea, includes 105 construction challenges across 11 difficulty levels, each with a series of progressively complex geometric problems. 
## Features

- **Scaling Challenges:** From simple constructions to advanced geometric tasks.
- **Natural Language Descriptions:** Detailed descriptions and natural language solutions accompany each challenge.
- **Tool Language Descriptions:** Solution tool sequences alongside their points of application are provided for each challenge.

## Dataset Structure

Each entry in the dataset includes the following columns:

- **pack:** Identifier for the challenge pack.
- **level_id:** URL to the level's detailed description on the Euclidea fandom wiki.
- **question:** The geometric problem presented in the challenge.
- **solution_nl:** The solution explained in natural language.
- **solution_tool:** The list of geometric tools used in the solution.
- **solution_symbol:** The sequence of geometric objects involved in each solution step.
- **initial_symbol:** The initial geometric objects present at the start of the problem.

## Usage
To integrate this dataset into your projects as a whole:

```python
from datasets import load_dataset
dataset = load_dataset("BlazeLlama/euclidea")
```


To load specific packs - for example packs Alpha and Beta: 

```python
from datasets import load_dataset
dataset = load_dataset("BlazeLlama/euclidea", pack=['Alpha', 'Beta'])
```