hoskinson-center/proofnet

1from datasets import load_dataset2from tqdm import tqdm3 4data = load_dataset("./proofnet.py")5 6print(data)7 8print("example valid instance")9print(data["validation"][0])10 11print("example test instance:")12print(data["test"][0])13 14 15 16print("looping through validation data...")17for x in tqdm(data["validation"]):18    pass19 20print("looping through test data...")21for x in tqdm(data["test"]): 22    pass23 24print("finished!")25