★ 3
FEAgent：基于程序图的差分代理执行判定代码等价
论文提出 FEAgent，一种选择性代码等价性评估智能体，结合类型化程序图证据与差分代理执行来判断两段程序是否功能等价。它通过分支感知生成器构造区分性输入，由两个盲测 LLM 代理分别预测源与目标程序的可观测行为，并记录证据账本，最终输出等价、不等价或不确定。在 EquiBench 上，直接执行证…
arXiv cs.AI26 天前
共 1 篇相关资讯，按重要度与时间排序，每 3 小时更新。
论文提出 FEAgent，一种选择性代码等价性评估智能体，结合类型化程序图证据与差分代理执行来判断两段程序是否功能等价。它通过分支感知生成器构造区分性输入，由两个盲测 LLM 代理分别预测源与目标程序的可观测行为，并记录证据账本，最终输出等价、不等价或不确定。在 EquiBench 上，直接执行证…