region:us
---
dataset_info:
- config_name: identify_math_theorems
  features:
  - name: idx
    dtype: int32
  - name: inputs
    dtype: string
  - name: targets
    sequence: string
  - name: multiple_choice_targets
    sequence: string
  - name: multiple_choice_scores
    sequence: int32
  splits:
  - name: default
    num_bytes: 104841
    num_examples: 53
  - name: train
    num_bytes: 70295
    num_examples: 37
  - name: validation
    num_bytes: 34546
    num_examples: 16
  download_size: 82730
  dataset_size: 209682
- config_name: identify_math_theorems/0_shot
  features:
  - name: idx
    dtype: int32
  - name: inputs
    dtype: string
  - name: targets
    sequence: string
  - name: multiple_choice_targets
    sequence: string
  - name: multiple_choice_scores
    sequence: int32
  splits:
  - name: default
    num_bytes: 104841
    num_examples: 53
  - name: train
    num_bytes: 70295
    num_examples: 37
  - name: validation
    num_bytes: 34546
    num_examples: 16
  download_size: 82730
  dataset_size: 209682
- config_name: identify_math_theorems/2_shots
  features:
  - name: idx
    dtype: int32
  - name: inputs
    dtype: string
  - name: targets
    sequence: string
  - name: multiple_choice_targets
    sequence: string
  - name: multiple_choice_scores
    sequence: int32
  splits:
  - name: default
    num_bytes: 104841
    num_examples: 53
  - name: train
    num_bytes: 70295
    num_examples: 37
  - name: validation
    num_bytes: 34546
    num_examples: 16
  download_size: 82730
  dataset_size: 209682
configs:
- config_name: identify_math_theorems
  data_files:
  - split: default
    path: identify_math_theorems/default-*
  - split: train
    path: identify_math_theorems/train-*
  - split: validation
    path: identify_math_theorems/validation-*
- config_name: identify_math_theorems/0_shot
  data_files:
  - split: default
    path: identify_math_theorems/0_shot/default-*
  - split: train
    path: identify_math_theorems/0_shot/train-*
  - split: validation
    path: identify_math_theorems/0_shot/validation-*
- config_name: identify_math_theorems/2_shots
  data_files:
  - split: default
    path: identify_math_theorems/2_shots/default-*
  - split: train
    path: identify_math_theorems/2_shots/train-*
  - split: validation
    path: identify_math_theorems/2_shots/validation-*
---
# Dataset Card for "identify_math_thms"

[More Information needed](https://github.com/huggingface/datasets/blob/main/CONTRIBUTING.md#how-to-contribute-to-the-dataset-cards)