Datasetpublic

ajibawa-2023/Julia-Proof-Pile-2

Julia-Proof-Pile-2 This dataset is part of Proof-Pile-2 dataset. This dataset is consisting of mathematical code, including numerical computing, computer algebra, and formal mathematics. This entire dataset is in Julia language. It is slightly more than 0.5 Billion tokens. I have removed Meta data from this dataset hence you can directly use it for training purpose. This dataset is in Jsonl format.

sourceHugging Faceapache-2.0updated 3y agoView on Hugging Face

4likes24downloads

Dataset Card

Julia-Proof-Pile-2

This dataset is part of Proof-Pile-2 dataset. This dataset is consisting of mathematical code, including numerical computing, computer algebra, and formal mathematics. This entire dataset is in Julia language. It is slightly more than 0.5 Billion tokens. I have removed Meta data from this dataset hence you can directly use it for training purpose. This dataset is in Jsonl format.