opendatalab/ProverQA
收藏Hugging Face2025-06-11 更新2025-02-15 收录
下载链接：
https://hf-mirror.com/datasets/opendatalab/ProverQA
下载链接
链接失效反馈官方服务：
资源简介：
该数据集用于评估大语言模型在逻辑推理方面的性能，适用于包含大于1K小于10K大小的数据集。它是根据论文《Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation》所述目的而构建的。
This dataset is used for evaluating the performance of large language models in logical reasoning, suitable for datasets with sizes between 1K and 10K. It is constructed for the purpose described in the paper Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation.
提供机构：
opendatalab
