hcju/proofwikiqa

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