AI Stack 探索 AI 技术前沿，分享深度思考与实践
条目
1989
延迟
—
最新内容
2026-07-15 20:45
非站点部署时间
当前时间
安全连接

TAGS / TERM

形式化验证

共 6 篇

  1. 机器人基础模型的规范感知分布塑造 2026-03-19 · ARXIV
  2. Leanstral：面向可信编码与形式化证明的开源智能体 2026-03-16 · HACKER_NEWS
  3. 基于学习冲突的增量神经网络验证方法 2026-03-13 · ARXIV
  4. TorchLean：基于 Lean 形式化验证的神经网络框架 2026-03-03 · HACKER_NEWS
  5. Lean 4 定理证明器工作原理及其在 AI 领域的新优势 2026-02-21 · HACKER_NEWS
  6. 迈向自主数学研究：AI 探索自动化定理证明 2026-02-15 · HACKER_NEWS