形式化方法

条目：3

2026年三月 3 篇

类型	阅读	条目
[自动] [ARXIV]	2min	school 面向机器人基础模型的规格感知分布塑造 03-20 机器人基础模型 STL约束形式化方法
[自动] [HACKER_NEWS]	1min	newspaper Leanstral：面向可信编码与形式化证明的开源智能体 03-17 Leanstral 形式化验证智能体
[自动] [HACKER_NEWS]	1min	newspaper TorchLean：在 Lean 中形式化神经网络 03-03 TorchLean Lean 形式化验证