taesiri/fsmbench_transition_check

---
dataset_info:
features:
- name: query_id
dtype: string
- name: fsm_id
dtype: string
- name: fsm_json
dtype: string
- name: difficulty_level
dtype: int64
- name: transition_matrix
dtype: string
- name: query
dtype: string
- name: answer
dtype: bool
splits:
- name: validation
num_bytes: 348667344
num_examples: 100000
download_size: 73222900
dataset_size: 348667344
configs:
- config_name: default
data_files:
- split: validation
path: data/validation-*
---

原始信息汇总

数据集概述

数据集信息

特征

• query_id: 数据类型为字符串。
• fsm_id: 数据类型为字符串。
• fsm_json: 数据类型为字符串。
• difficulty_level: 数据类型为整数（int64）。
• transition_matrix: 数据类型为字符串。
• query: 数据类型为字符串。
• answer: 数据类型为布尔值（bool）。

数据分割

• validation: 包含100000个样本，总字节数为348667344。

数据集大小

• 下载大小: 73222900字节。
• 数据集大小: 348667344字节。

配置

• default: 包含验证数据文件，路径为data/validation-*。