作者位次 #7/8NeurIPS 2026Poster
Agents as Neuro-Symbolic Reasoners: Path Feasibility Reasoning for Precise Static Bug Detection
薛英 杜 · Kai Yu · Chong Wang · Yi Zou · Wentai Deng · Zuoyu Ou · Xin Peng · Yiling Lou
首次获取该候选人的完整档案及 StartLux 评估共 20 积分；每位用户单独解锁，之后查看免费。主动刷新 20 积分。
实时查找电子邮箱，费用不超过20积分；未找到邮箱不扣费。
薛英 杜 · Kai Yu · Chong Wang · Yi Zou · Wentai Deng · Zuoyu Ou · Xin Peng · Yiling Lou
Zhenhao Zhou · Zhuochen Huang · Yike He · Chong Wang · Jiajun Wang · Yijian Wu · Xin Peng · Yiling Lou
The Linux kernel is a critical system, serving as the foundation for numerous systems. Bugs in the Linux kernel can cause serious consequences, affecting billions of users. Fault localization (FL), which aims at identifying the buggy code elements in software, plays an essential role in software...