找到5个数据集

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

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

基于开放域数据CNKI的12833 篇研究文献作为语料来源，将文献中的关键词作为主题关键词，作者作为研究人员。通过爬虫爬取结构化数据作为知识图谱基本数据，结合爬取一些自然语言数据与半结构化数据，并进行语义抽取构建了外国文学研究领域的核心数据 在上述基础上，我们进行了实体对齐与部分的实体消歧，比如译名的对齐：列夫·托尔斯泰 和 托尔斯泰...

从知网下载的4000条左右的论文数据集，总共三个实体 作者(author_id,name) 论文(article_id,summary,urls,year,article_name,cite,down) 就读高校(school_id,school_name) 关系：write_to,graduate_to 可以直接导入Neo4j使用

西北民族大学问答信息