找到7个数据集

...

Lean 4 是一种计算机辅助证明系统(proofassistant)，或称交互式证明系统 (in teractive theorem prover)，可用于形式化验证数学定理或计算机程序的正确性。 Mathlib 是 Lean 4 的数学库，它背后有一个活跃的开发团队，包括许多数学家...

面向古汉语领域事件抽取的数据集，原始数据是从《二十四史》中按篇随机选取而来,包含语料950条，事件Schema72个，包含事件1826个。

  本数据集由CCKS2021论文“MOOPer：A Large-scale Dataset of Practice-oriented Online Learning” 发布。本文档对数据集内数据字段含义进行详细介绍，其他信息可参考原文获取。 点击此处下载MOOPer数据集 什么是MOOPer？...

本项目是根据2020年校友会发布的中国前一百大学排行榜来获取中国百强大学的相关信息。提取的主要信息包括有大学的中文英文名称，大学的缩写，大学所属的类型，大学的主管部门和创办时间等等。...

基于COVID—19论文数据集的COVID-19学习论文知识图谱是我们云南省高校数据科学与智能计算重点实验室与美国知名高校佐治亚大学的刘天明教授合作研究的成果。...

作为最早关注人工智能技术的媒体，机器之心在编译国外技术博客、论文、专家观点等内容上已经积累了超过两年多的经验。期间，从无到有，机器之心的编译团队一直在积累专业词汇。虽然有很多的文章因为专业性我们没能尽善尽美的编译为中文呈现给大家，但我们一直在进步、一直在积累、一直在提高自己的专业性。...