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.
034
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