arXiv cs.SE· Siyuan Li, Jiayi Zhou, Zhiyuan Xia, Weijie Wang, Yaowen Zheng, Weiran Tang, Hong Li, Hongsong Zhu, Shanqing Guo·· 3 小时前AI 评分34
SyLares：面向免编译补丁存在性检测的神经符号推理引擎
A Neuro-Symbolic Reasoning Engine for Compilation-Free Patch Presence Testing
AI 导读
研究者提出 SyLares，将免编译补丁存在性检测重构为神经符号推理：LLM 只作为神经特征提取器，把异构源码与反编译伪代码转成符合规范的 SMT-LIB 输入，最终判定交给 Z3 求解器。该设计针对前作 Lares 中符号通道仅在 20% 代码案例中成功、其余回退给 LLM 做最终裁决的问题，通过 Code2SMT 推理引擎把每个案例归约为形式化等价性查询，避免 LLM 幻觉导致的非确定性判断。
来源：arXiv cs.SE · arxiv.org