saracandu/stl_high_complexity
收藏Hugging Face2026-02-14 更新2026-03-29 收录
下载链接：
https://hf-mirror.com/datasets/saracandu/stl_high_complexity
下载链接
链接失效反馈官方服务：
资源简介：
---
dataset_info:
features:
- name: formula
dtype: string
- name: perturbation_type
dtype: string
- name: equivalent
dtype: float64
- name: original_formula
dtype: string
- name: depth
dtype: int64
splits:
- name: train
num_bytes: 763441930
num_examples: 2892946
- name: test
num_bytes: 85181855
num_examples: 322581
download_size: 260911700
dataset_size: 848623785
configs:
- config_name: default
data_files:
- split: train
path: data/train-*
- split: test
path: data/test-*
---
提供机构：
saracandu
