实体 InvWeaver

InvWeaver

PulseAugur coverage of InvWeaver — every cluster mentioning InvWeaver across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_131542 · Jul 8 · 04:00

InvWeaver框架增强了复杂程序的循环不变式合成

研究人员开发了InvWeaver，一个神经符号框架，旨在为具有多个交互式循环的程序合成循环不变式。该方法通过抽象、引导推理和精炼来显式处理循环间依赖关系，克服了先前基于LLM的方法的局限性。InvWeaver在现有技术上取得了显著改进，成功解决了82个多循环基准问题中的72个，并在单循环任务上表现良好。