PulseAugur
中
实时 13:59:36
实体 GaloisInc/fvspec-fv

GaloisInc/fvspec-fv

PulseAugur coverage of GaloisInc/fvspec-fv — every cluster mentioning GaloisInc/fvspec-fv across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_92405 ·

    新的 FVSpec 基准测试 AI 在形式化软件验证中的应用

    研究人员推出了 FVSpec，这是一个旨在评估人工智能模型和代理在形式化软件验证任务中的新基准。该基准涉及使用多智能体 LLM 管道将 Python 的属性测试转换为规范。此过程旨在解决在 Lean 4 编程语言中建模 Python 语义和推断逻辑属性的挑战，目标是推进 AI 辅助形式化验证在现实世界软件中的应用。