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
This repository belongs to hcju on Hugging Face.
CoolFace never edits a repository it does not host. Visibility, licence, collaborators and gating are all managed at the source.
stacksqa
public
cc-by-4.0
no
hcju