license:cc-by-4.0 arxiv:2306.07934 region:us
---
license: cc-by-4.0
dataset_info:
  features:
  - name: proof
    dtype: string
  - name: example
    dtype: string
  - name: label
    dtype: string
  - name: rules
    dtype: string
  - name: preferences
    dtype: string
  - name: theory
    dtype: string
  - name: goal
    dtype: string
  - name: facts
    dtype: string
  - name: config
    dtype: string
  splits:
  - name: test
    num_bytes: 54209160
    num_examples: 15000
  - name: train
    num_bytes: 55055604
    num_examples: 15000
  - name: valid
    num_bytes: 27317650
    num_examples: 7500
  download_size: 34032485
  dataset_size: 136582414
---
https://arxiv.org/pdf/2306.07934.pdf