实体
Proof Assistants
Proof Assistants
PulseAugur coverage of Proof Assistants — every cluster mentioning Proof Assistants across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 0
层级分布 · 90 天
主题
情绪 · 30 天
2 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
Lean 定理证明器的人工智能可靠性讨论；《常见副作用》第二季宣布
Lean 定理证明器，一个用于形式化验证和数学家的工具，正在被讨论其可靠性以及在人工智能中的潜在应用。此次讨论强调了它在软件工程中的作用以及与其他证明助手（如 Coq 和 Isabelle/HOL）的比较。另外，动画惊悚片《常见副作用》将于一月回归第二季。
-
数学家探讨 Lean 定理证明器在人工智能和可靠性方面的应用
数学家可以从了解 Lean 定理证明器中受益，该证明器是数学和计算机科学中日益用于形式验证的工具。该证明器提供了增强的可靠性，并正在探索其在人工智能中的潜在应用。其功能与其他证明助手（如 Coq 和 Isabelle/HOL）进行了比较，突显了其在严谨的数学和软件工程任务中的作用。