loop-invariant

标签

#loop-invariant

InvWeaver: 交互循环程序中不变式合成的演绎反馈

arXiv cs.LG ↗ · 2026-07-08 缓存

InvWeaver 是一个神经符号框架，利用大语言模型和演绎反馈来合成具有多个交互循环程序的循环不变式，在基准测试中优于现有方法。

0 人收藏 0 人点赞

← 返回首页

提交意见反馈