-
基于众包标注系统的文言文语言理解测评基准及数据集
C-CLUE是一个基于众包标注系统构建的文言文语言理解测评基准及数据集，由天津大学数据库课题组贡献。本次开源了由系统标注结果获取的近2万个实体以及4千多个关系，并处理分割成为训练集、校验集、测试集等文件，... -
使用Lean 4 的Mathlib 库的数学知识图谱
Lean 4 是一种计算机辅助证明系统(proofassistant)，或称交互式证明系统 (in teractive theorem prover)，可用于形式化验证数学定理或计算机程序的正确性。 Mathlib 是 Lean 4 的数学库，它背后有一个活跃的开发团队，包括许多数学家... -
2020年中国排名前一百大学知识图谱
本项目是根据2020年校友会发布的中国前一百大学排行榜来获取中国百强大学的相关信息。提取的主要信息包括有大学的中文英文名称，大学的缩写，大学所属的类型，大学的主管部门和创办时间等等。...