dataset-level split names from streaming
First part of https://github.com/huggingface/datasets-server/issues/734
Splits will be based on:
- dataset-split-names-from-streaming (This PR)
- dataset-split-names-from-dataset-info (Will send in another PR)
dataset-level split names from streaming: First part of https://github.com/huggingface/datasets-server/issues/734
Splits will be based on:
- dataset-split-names-from-streaming (This PR)
- dataset-split-names-from-dataset-info (Will send in another PR)