热点
"形式化验证" 相关文章
[电动汽车] 请问辅助驾驶系统的版本迭代，如何做到“万无一失”？
V2EX 2025-07-24T06:52:23.000000Z
Formal Verification of Neural Certificates Done Dynamically
cs.AI updates on arXiv.org 2025-07-17T04:14:40.000000Z
陶哲轩：感谢Lean，我又重写了20年前经典教材！
机器之心 2025-06-01T08:01:32.000000Z
CertiK荣获以太坊基金会两项资助，领跑zkEVM形式化验证
安全客 2025-05-26T03:50:03.000000Z
CNBC专访CertiK联创顾荣辉：从形式化验证到AI赋能，持续拓展Web3.0信任边界
安全客 2025-05-22T06:53:28.000000Z
韩媒专访CertiK创始人顾荣辉：黑客攻击激增300%，安全优先的破局之路
安全客 2025-04-21T02:59:31.000000Z
7B级形式化推理与验证小模型，媲美满血版DeepSeek-R1，全面开源！
机器之心 2025-03-08T09:00:56.000000Z
Feedback Loops Guide AI to Proof Checking
Communications of the ACM - Artificial Intelligence 2025-02-10T21:02:05.000000Z
让AI理解费马大定理的证明，两个月过去了，进展如何？
机器之心 2024-12-28T08:39:02.000000Z
CertiK 专家受邀零知识验证研讨会，聚焦 zkWasm 验证成果与以太坊扩展计划
ForesightNews文章 2024-11-20T03:24:25.000000Z
比特币白皮书 16 周年，解析比特币应用去信任化的关键：BitVM 及其形式化验证
ForesightNews文章 2024-11-01T03:26:04.000000Z
Techub 专访顾荣辉教授：解密 CertiK 的安全战略路线
ForesightNews文章 2024-09-29T03:55:42.000000Z
Why fuzzing over formal verification?
Trail of Bits Blog 2024-05-14T11:02:27.000000Z