实体
Vestigium
Vestigium
PulseAugur coverage of Vestigium — every cluster mentioning Vestigium across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 4
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 0
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 4 条
-
AI与数学阅读材料分享 2026年9月7日至13日
此集群包含一项关于2026年9月7日至13日期间分享的与AI和数学相关的阅读材料的条目。分享的内容似乎是一个精选的资源或文章列表，URL指向一个“readings_shared”页面。
-
AI4Math 阅读分享：2026年8月3日至9日
此集群包含一项详细介绍2026年8月3日至9日期间分享的阅读材料。这些阅读材料与AI相关，特别是AI4Math，并涵盖了Coq、FormalVerification、FunctionalProgramming、Haskell、ITP、IsabelleHOL、LeanProver和Logic等主题。
-
AI与数学阅读分享 2026年7月27日至8月3日
该集群包含一项条目，详细介绍了2026年7月27日至8月3日期间分享的阅读材料，发布在Mastodon上。阅读材料涵盖了广泛的主题，包括AI、数学、形式化以及各种编程语言和定理证明器。
-
AI与数学阅读材料分享于2026年7月27日
此集群包含一项条目，详细介绍了2026年7月27日分享的与AI和数学相关的阅读材料。分享的内容包括对Vestigium、Aristotle和Isabel的引用，标签表明重点是AI在数学中的应用、形式化验证工具如Agda、ITP、IsabelleHOL、LeanProver、Logic、Math、Prolog和RocqProver。