AutoLogi是一个自动生成的开放性问题逻辑谜题数据集，由复旦大学计算机科学技术学院和阿里巴巴集团共同创建。该数据集通过程序化验证和可控难度等级，旨在为大型语言模型提供更可靠的推理能力评估。数据集包含1575个英文逻辑谜题和883个中文逻辑谜题，全部由高级语言模型生成，并经过验证函数检查以确保正确性。该数据集的应用领域是逻辑推理能力的评估，旨在解决现有标准多项选择题格式容易导致随机猜测的问题。

arXiv2025-02-24 更新2620

2025年各教育阶段多学科试题数据集

教育试题

人工智能训练

本高质量数据集汇集3000万条精选试题，横跨40个学科领域，涵盖选择题、填空题、问答题等多元题型，全面覆盖小学至大学全学段教育。内容详实，包含题目、深度解析、精准答案及结构化标签，数据来源合规，由公司自主采购保障合法性。专为大模型训练优化设计，可补强模型在特定知识点处理中薄弱环节，通过智能调参与结构迭代，显著提升准确性、响应效率及泛化能力，赋能教育场景下的智能应用，实现高效、可靠的个性化学习支持。

杭州数据产权登记平台220

音视频数据集

人工智能训练

"Collection of 100,000 high-quality video clips across diverse real-world domains, designed to accelerate the training and optimization of computer vision and multimodal AI models." Overview This dat

Databricks140

第二届世界科学智能大赛逻辑推理赛道：复杂推理能力评估测试集答案

逻辑推理

人工智能评估

acc0.8622，使用qwen2-72-awq微调预测得出的结果

魔搭社区2026-07-15 更新510

unigram/fol-01i

逻辑推理

定理自动证明

--- configs: - config_name: default data_files: - split: train path: data/train-* - split: validation path: data/validation-* - split: test path: data/test-* dataset_info: featur

Hugging Face2024-06-02 更新150

人工智能逻辑训练精品题库

资源简介：

相关数据集