Datasetpublic

hcju/stacksqa

Stacks Question-Answer Retrieval Dataset We use the theorems from the test set of the Stacks dataset in NaturalProofs as queries, and include all proofs from the dataset as the corpus.

sourceHugging Facecc-by-4.0updated 1y agoView on Hugging Face

0likes84downloads

Dataset Card

Stacks Question-Answer Retrieval Dataset

We use the theorems from the test set of the Stacks dataset in NaturalProofs as queries, and include all proofs from the dataset as the corpus.