opendatalab/ProverQA download history

opendatalab/ProverQA is a question answering dataset on the Hugging Face Hub. In the last 30 days it was downloaded 479 times (113 in the last 7 days), and 3,631 times in total. It ranks #34,270 among datasets by monthly downloads.

ProverQA: A First-Order Logic Reasoning Dataset This repository contains the dataset described in the paper Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation. Code: https://github.com/opendatalab/ProverGen Dataset Description ProverQA is a high-qualit

Open opendatalab/ProverQA on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.