Question regarding data source/availability

[SuhaibFarooqui-123]

LeanProgress/src/leanprogress/create_datesets/create_exact_paper_dataset.py

Line 71 in 7d71264

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!

[Sohaib-khalid98]

Kindly upload the full dataset and the trained models on huggingface