|
raw_data = load_jsonl('./data/state_Combined_LeanDojo_Workbook_1027.jsonl') |
I’m interested in running the code locally, but I noticed the script relies on a dataset referenced via a local path (link above). I wasn't able to locate the source file in the repo. Is this data publicly available? If so, would you mind pointing me to the download link?
Thank you!
LeanProgress/src/leanprogress/create_datesets/create_exact_paper_dataset.py
Line 71 in 7d71264
I’m interested in running the code locally, but I noticed the script relies on a dataset referenced via a local path (link above). I wasn't able to locate the source file in the repo. Is this data publicly available? If so, would you mind pointing me to the download link?
Thank you!