paperbot · PL 论文追踪

全部论文 待读 收藏

P2 A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm

少有人走的路:以神经符号范式重新构想软件工程自动化
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 4/10 · 论文提出神经符号软件工程范式,与“神经+符号”结合及 AI/PL 交叉有概念关联,但未聚焦静态分析、Agentic 程序、浮点或贝叶斯程序分析等用户核心问题,且偏宏观愿景、缺少具体方法与基准验证。引用 2 inbox
Antonio Mastropaolo, Denys Poshyvanyk
crossref: 2026-09-12

AI 速览

一句话:提出神经符号软件工程(NSE)范式,将神经学习与符号规则推理结合,并引入受控随机性以提升效率、可靠性与透明度。

大型代码模型(LCMs)显著推动了代码生成、文档编写、代码审查与缺陷修复等软件工程自动化任务,但这种进步伴随代价:高性能往往意味着指数级的计算开销、可解释性下降,以及对数百亿参数级数据密集型模型的日益依赖。本文提出「神经符号软件工程」(NSE)这一新范式,主张将神经学习与符号(规则驱动)推理相结合,并策略性地引入受控的「混沌」来源,用以模拟真实软件系统的复杂动态。该混合方法旨在提升 AI 驱动软件工程的效率、可靠性与透明度,同时借助受控随机性适应不断变化的需求、不可预测的系统行为与非确定性执行环境。作为一篇立场/愿景论文,NSE 通过重新定义 AI 驱动软件工程自动化的核心原则,为更具适应性、更透明、更契合现代软件开发实践的解决方案奠定基础,但文中未给出具体实证评估。

问题
基于大型代码模型的软件工程自动化虽性能强劲,却面临计算成本指数增长、可解释性不足以及对超大规模数据密集型模型的过度依赖等权衡问题。
方法
提出神经符号软件工程(NSE)范式,把神经学习与符号规则推理融合,并策略性地注入受控的随机性(chaos)以模拟真实软件系统的复杂动态。
评估
本文为立场/愿景性论文,未进行实证评估,而是通过重新界定 AI 驱动软件工程自动化的核心原则来论证 NSE 在效率、可靠性与透明度上的潜力。
原文摘要(Abstract)

The emergence of Large Code Models (LCMs) has transformed software engineering (SE) automation, driving significant advancements in tasks such as code generation, source code documentation, code review, and bug fixing. However, these advancements come with trade-offs: achieving high performance often entails exponential computational costs, reduced interpretability, and an increasing dependence on data-intensive models with hundreds of billions of parameters. In this paper, we propose Neurosymbolic Software Engineering, in short NSE, as a promising paradigm combining neural learning with symbolic (rule-based) reasoning, while strategically introducing a controlled source of chaos to simulate the complex dynamics of real-world software systems. This hybrid methodology aims to enhance efficiency, reliability, and transparency in AI-driven software engineering, while introducing controlled randomness to adapt to evolving requirements, unpredictable system behaviors, and non-deterministic execution environments. By redefining the core principles of AI-driven software engineering automation, NSE lays the groundwork for solutions that are more adaptable, transparent, and closely aligned with the evolving demands of modern software development practices.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot9130,
  title = {A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm},
  author = {Antonio Mastropaolo and Denys Poshyvanyk},
  booktitle = {FSE},
  year = {2025},
  doi = {10.1145/3696630.3728720}
}