2026.08.28 · 周五研究论文
←返回首页话题 · Topic
#形式化验证
共 10 条相关资讯
2026.08.28 · 周五研究论文
FLARE：基于 LLM 与 Lean 的 MILP 重构验证方法
2026.08.23 · 周日研究论文
Vero 探索 AI Agent 自动构建形式化验证软件仓库
2026.08.19 · 周三研究论文
ACM 发表 AI 智能体辅助证明编程经验报告
2026.08.18 · 周二行业动态
当AI秒杀数学难题：一位学者退圈，一场证明过剩危机
2026.08.18 · 周二工具
Agent Control Plane：把 AI 代理授权决策搬到模型之外
2026.08.16 · 周日研究论文
Vero：首个仓库级代码与证明联合生成基准
2026.08.13 · 周四研究论文
Specula 智能体系统发现 207 个新缺陷
2026.07.28 · 周二工具
AI 写代码、Llvm 验证：首个形式化证明正确的 3D CSG 网格求交实现
2026.07.27 · 周一工具