PulseAugur
中
实时 15:00:21
实体 FM-Agent

FM-Agent

PulseAugur coverage of FM-Agent — every cluster mentioning FM-Agent 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_100160 ·

    LLM驱动的FM-Agent自动化大型软件系统的形式化推理

    研究人员开发了FM-Agent，一个旨在自动化大规模软件系统的组合推理的新框架。该系统利用大型语言模型从自然语言生成函数级规范，从而减轻了与形式化方法相关的繁重手动工作。FM-Agent还可以生成测试用例来识别和解释错误，成功地对多达143,000行代码的系统进行推理，并发现了数百个以前未被发现的错误。