size_categories:n<1K format:parquet modality:text library:datasets library:pandas library:mlcroissant library:polars region:us
---
dataset_info:
  config_name: lemexp-hol+afp20-deepseek-coder-1.3b-base-results-2024-10-28-09-43-10
  features:
  - name: defs
    list: string
  - name: symbols
    list: string
  - name: lemma
    dtype: string
  - name: theory_file
    dtype: string
  - name: prediction
    dtype: string
  - name: passes_generation
    dtype: bool
  - name: passes_syntax
    dtype: bool
  - name: passes_counterexample
    dtype: bool
  splits:
  - name: test
    num_bytes: 22453
    num_examples: 16
  download_size: 16798
  dataset_size: 22453
configs:
- config_name: lemexp-hol+afp20-deepseek-coder-1.3b-base-results-2024-10-28-09-43-10
  data_files:
  - split: test
    path: lemexp-hol+afp20-deepseek-coder-1.3b-base-results-2024-10-28-09-43-10/test-*
---
