跳到正文
ENTITY PROFILE / 实体档案

ArkLib

RSS

koalaIRS12 is formalized in ArkLib. ArkLib is a Lean 4 library for formally verified arguments of knowledge. Opus 5 is one of the best overall models for DiG-bench· Graphiti 生成的实体摘要

RELATIONS
3关系
CURRENT
3当前有效
EVENTS
0相关事件
REPORTS
2来源报道
KNOWLEDGE ATLAS0 个实体 · 0 条关系
暂无可公开的邻近关系
按需展开实体的全部已公开关系，保留探索过的节点与连线。

关系变化

按生效时间
  1. ArkLibBUILT WITHLean

    ArkLib is a Lean 4 library for formally verified arguments of knowledge.

    当前有效1 条来源Lean
  2. koalaIRS12FORMALIZED INArkLib

    koalaIRS12 is formalized in ArkLib.

    当前有效1 条来源koalaIRS12
  3. ArkLibBEST MODEL INxAI

    Opus 5 is one of the best overall models for DiG-bench

    当前有效1 条来源xAI

关系是 Graphiti 从报道中提取的事实陈述，不是原文引述；失效时间表示后来的报道显示这条关系已不成立。

来源报道 2