task_categories:summarization region:us
---
task_categories:
- summarization

---
# AutoTrain Dataset for project: logic_form_generation

## Dataset Description

This dataset has been automatically processed by AutoTrain for project logic_form_generation.

### Languages

The BCP-47 code for the dataset's language is unk.

## Dataset Structure

### Data Instances

A sample from this dataset looks as follows:

```json
[
  {
    "text": "find \\tan S.",
    "target": "[Find(TanOf(Angle(S)))]."
  },
  {
    "text": "Find x so that the quadrilateral is a parallelogram.",
    "target": "[Find(x)] so [Parallelogram($)]"
  }
]
```

### Dataset Fields

The dataset has the following fields (also called "features"):

```json
{
  "text": "Value(dtype='string', id=None)",
  "target": "Value(dtype='string', id=None)"
}
```

### Dataset Splits

This dataset is split into a train and validation split. The split sizes are as follow:

| Split name   | Num samples         |
| ------------ | ------------------- |
| train        | 2397 |
| valid        | 600 |
