yalhessi/lemexp-rediscovery-v3
收藏Hugging Face2025-12-10 更新2025-12-20 收录
下载链接：
https://hf-mirror.com/datasets/yalhessi/lemexp-rediscovery-v3
下载链接
链接失效反馈官方服务：
资源简介：
---
dataset_info:
- config_name: hol_predictions
features:
- name: theory_file
dtype: string
- name: lemma_name
dtype: string
- name: lemma_command
dtype: string
- name: lemma_object
dtype: string
- name: template
dtype: string
- name: symbols
list: string
- name: types
list: string
- name: defs
list: string
- name: output_key
dtype: string
- name: input
dtype: string
- name: output
dtype: string
- name: predictions
list: string
- name: template_predictions_greedy
list: string
- name: template_levenshtein_scores_greedy
dtype: int64
- name: template_success_greedy
dtype: bool
- name: roughspec_result
dtype: string
- name: discovered_lemmas
list: string
- name: num_discovered_lemmas
dtype: float64
splits:
- name: test
num_bytes: 15581881
num_examples: 4740
download_size: 2025366
dataset_size: 15581881
- config_name: hol_references
features:
- name: theory_file
dtype: string
- name: lemma_name
dtype: string
- name: lemma_command
dtype: string
- name: lemma_object
dtype: string
- name: template
dtype: string
- name: symbols
list: string
- name: types
list: string
- name: defs
list: string
- name: output_key
dtype: string
- name: input
dtype: string
- name: output
dtype: string
- name: rediscovered
dtype: string
- name: discovered_lemmas
list: string
- name: num_discovered_lemmas
dtype: int64
splits:
- name: test
num_bytes: 16749385
num_examples: 4740
download_size: 2139363
dataset_size: 16749385
configs:
- config_name: hol_predictions
data_files:
- split: test
path: hol_predictions/test-*
- config_name: hol_references
data_files:
- split: test
path: hol_references/test-*
---
提供机构：
yalhessi
