目录
形式化验证
条目：28
2026年三月
15 篇
| 类型 | 阅读 | 条目 |
|---|---|---|
[自动]
[ARXIV] | 2min | school
机器人基础模型的规范感知分布塑造 03-19
机器人基础模型
规格感知
分布优化 |
[自动]
[HACKER_NEWS] | 1min | newspaper
Leanstral：面向可信编码与形式化证明的开源智能体 03-17
Leanstral
智能体
形式化验证 |
[自动]
[HACKER_NEWS] | 1min | newspaper
Leanstral：面向可信编码与形式化证明的开源智能体 03-17
Leanstral
形式化验证
智能体 |
[自动]
[HACKER_NEWS] | 1min | newspaper
Leanstral：面向可信编码与形式化证明的开源智能体 03-17
Leanstral
智能体
形式化验证 |
[自动]
[HACKER_NEWS] | 1min | newspaper
Leanstral：面向可信编码与形式化证明的开源智能体 03-17
Leanstral
智能体
形式化验证 |
[自动]
[HACKER_NEWS] | 1min | newspaper
Leanstral：面向可信编码与形式化证明的开源智能体 03-17
Leanstral
形式化验证
智能体 |
[自动]
[HACKER_NEWS] | 1min | newspaper
Leanstral：面向可信编码与形式化证明的开源智能体 03-17
Leanstral
形式化验证
智能体 |
[自动]
[ARXIV] | 3min | school
基于学习冲突的增量神经网络验证方法 03-15
神经网络验证
增量验证
形式化验证 |
[自动]
[ARXIV] | 3min | school
增量神经网络验证：基于学习冲突的高效方法 03-14
神经网络验证
增量验证
形式化验证 |
[自动]
[ARXIV] | 3min | school
增量神经网络验证：基于学习冲突的高效方法 03-13
神经网络验证
增量验证
形式化验证 |
[自动]
[HACKER_NEWS] | 1min | newspaper
TorchLean：基于 Lean 形式化验证的神经网络框架 03-04
TorchLean
形式化验证
Lean |
[自动]
[HACKER_NEWS] | 4min | newspaper
TorchLean：基于 Lean 形式化验证的神经网络框架 03-03
TorchLean
形式化验证
Lean |
[自动]
[HACKER_NEWS] | 1min | newspaper
TorchLean：基于 Lean 形式化验证的神经网络框架 03-03
TorchLean
形式化验证
Lean |
[自动]
[HACKER_NEWS] | 1min | newspaper
TorchLean：基于 Lean 形式化验证的神经网络框架 03-03
TorchLean
形式化验证
Lean |
[自动]
[HACKER_NEWS] | 1min | newspaper
TorchLean：在 Lean 中形式化神经网络 03-03
TorchLean
Lean
形式化验证 |
2026年二月
12 篇
| 类型 | 阅读 | 条目 |
|---|---|---|
[自动]
[HACKER_NEWS] | 1min | newspaper
Lean 4 定理证明器工作原理及其在 AI 领域的竞争优势 02-21
Lean 4
定理证明器
形式化验证 |
[自动]
[HACKER_NEWS] | 3min | newspaper
Lean 4 定理证明器工作原理及其在 AI 领域的新优势 02-21
Lean 4
定理证明器
形式化验证 |
[自动]
[HACKER_NEWS] | 1min | newspaper
Lean 4 定理证明器原理与AI竞争新优势 02-21
Lean 4
定理证明器
形式化验证 |
[自动]
[HACKER_NEWS] | 3min | newspaper
Lean 4 定理证明器工作原理及其在 AI 领域的新竞争优势 02-21
Lean 4
定理证明器
形式化验证 |
[自动]
[HACKER_NEWS] | 3min | newspaper
Lean 4 定理证明器工作原理及其在 AI 领域的竞争优势 02-21
Lean 4
定理证明器
形式化验证 |
[自动]
[HACKER_NEWS] | 4min | newspaper
迈向自主数学研究 02-15
自主研究
数学
AI科学家 |
[自动]
[HACKER_NEWS] | 4min | newspaper
迈向自主数学研究：AI 探索自动化定理证明 02-15
自动化定理证明
AI for Math
形式化验证 |
[自动]
[HACKER_NEWS] | 7min | newspaper
着色Petri网结合大语言模型构建分布式应用 02-14
LLM
着色Petri网
分布式系统 |
[自动]
[HACKER_NEWS] | 6min | newspaper
着色Petri网结合大语言模型构建分布式应用 02-14
LLM
Petri网
分布式系统 |
[自动]
[BLOGS_PODCASTS] | 2min | mic
Automated Reasoning checks rewriting chatbot reference 02-11
自动推理
聊天机器人
参考实现 |
[自动]
[BLOGS_PODCASTS] | 2min | mic
自动化推理检查重写聊天机器人的实现架构 02-10
自动化推理
聊天机器人
架构设计 |
[自动]
[HACKER_NEWS] | 3min | newspaper
LLM不应作为编译器：技术局限与正确性风险 02-06
LLM
编译器
代码生成 |
2026年一月
1 篇
| 类型 | 阅读 | 条目 |
|---|---|---|
[自动]
[HACKER_NEWS] | 3min | newspaper
🤖AI竟伪造数学证明？深扒“创意数学”背后的惊人真相！ 01-26
AI
数学证明
形式化验证 |
无匹配条目