cli/averitec-upload-cli.py

#!/usr/bin/env python3

from datasets import load_dataset

path = 'pminervini/averitec'

ds = load_dataset("json",
                  data_files={
                      'train': '/Users/pasquale/workspace/AVeriTeC/data/train.json',
                      'dev': '/Users/pasquale/workspace/AVeriTeC/data/dev.json'
                  })
ds.push_to_hub(path)