arXiv· Siyuan Li·· 10 天前推荐指数26
SyLares：面向免编译补丁存在性测试的神经符号推理引擎
A Neuro-Symbolic Reasoning Engine for Compilation-Free Patch Presence Testing
AI 导读
SyLares 将免编译补丁存在性测试重构为神经符号推理，由 LLM 充当神经特征提取器生成符合规范的 SMT-LIB 输入，最终判定交给符号 Z3 求解器。其前作 Lares 将 LLM 与 SMT 求解器作为两条并行决策通道，符号通道仅在 20% 代码案例中成功，其余回退到 LLM 裁决，易产生幻觉且两通道无法互相增强。
来源：arXiv · arxiv.org