-
中医药典
本项目基于2022中医药典籍构建了知识图谱与智能问答系统。项目利用大语言模型技术，从《中国药典》等原始文本中提取药材属性、功效及相互作用等关键信息，构建结构化的图数据库。... -
使用Lean 4 的Mathlib 库的数学知识图谱
Lean 4 是一种计算机辅助证明系统(proofassistant)，或称交互式证明系统 (in teractive theorem prover)，可用于形式化验证数学定理或计算机程序的正确性。 Mathlib 是 Lean 4 的数学库，它背后有一个活跃的开发团队，包括许多数学家...