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.
084
Conversations for this repository live on Hugging Face.
CoolFace shows imported repositories read-only. Posting into someone else’s repository from here would need an authorised integration and the account holder’s consent, so the link goes to the source instead.
Open discussions on Hugging Face