paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Towards More Interpretable Large Language Models for Code

面向更可解释的代码大语言模型
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 2/10 · 该论文聚焦于提升代码大模型输出可解释性的分类法与动态基准,属于以 LLM 本身为研究目标的解释性研究,与用户的 PL→AI(对 ML/Agent 程序做静态分析)、AI→PL(用 LLM 改进静态分析与形式化验证)、浮点程序分析及贝叶斯程序分析等核心方向均无实质交集;其提出的 benchmark 也非用户关注的缺乏基准的重要分析任务,且摘要显示尚处于研究设想阶段。引用 1 inbox
Daniel Rodriguez-Cardenas
crossref: 2026-09-12

AI 速览

一句话:提出 InterpretSE,结合代码语法概念分类法与 token 聚类,提升代码大语言模型输出的可解释性并给出动态基准。

本文关注大语言模型在软件工程(尤其代码生成)中的应用,但现有评测缺乏形式化、透明且可解释的基准,且 token 级表示难以被人类理解。作者提出 InterpretSE 方法,将低层、不可解释的 token 通过代码语法概念分类法映射到高层、人类可理解的概念,并结合 token 聚类来分析模型输出,从而辅助调试并支持提示工程。论文还提出一个动态基准,由测试床、度量指标及度量应用协议组成,强调以因果分析驱动评测。其目标是在统计严谨性与人类可解释性之间架起桥梁,应对 LLMc 评测与输出解释两大挑战,推动软件工程中可解释 AI 的发展。摘要主要阐述研究构想与预期贡献,未给出具体实验结果。

问题
代码大语言模型在软件工程任务中表现突出,但缺乏形式化、透明、可解释的评测基准,且 token 级表示复杂,导致模型输出难以被理解和调试。
方法
提出 InterpretSE:用代码语法概念分类法把低层不可解释的 token 映射为高层人类可理解概念,并结合 token 聚类分析模型输出;同时提出由测试床、度量指标和应用协议组成的动态基准,以因果分析驱动评测。
评估
论文为研究提案,评估计划依托所提出的动态基准、度量与协议对 LLMc 输出进行可解释性分析;摘要未报告具体实验设置或结果。
原文摘要(Abstract)

Large Language Models (LLMc) have shown significant potential in automating software engineering tasks, particularly in code generation. This research bridges the gap between rigorous causal analysis and human interpretability in evaluating LLMc within software engineering (SE) contexts. The study introduces a novel approach InterpretSE that combines a taxonomy of code syntax concepts with a token clustering method to enhance the interpretability of LLMc outputs, facilitate debugging, and advance the field of interpretable AI for SE. A dynamic benchmark is proposed, comprising a testbed, a metric, and a protocol for applying the metric. To bridge the gap between statistical rigor and human interpretability, we propose to introduce a taxonomy of code syntax concepts. This taxonomy maps low-level, non-interpretable tokens to higher-level, human-understandable concepts, enabling practitioners to debug LLMc outputs effectively. The research aims to address two key challenges in LLMc evaluation: the lack of formal, transparent, and interpretable benchmarking methods, and the difficulty in interpreting LLMc outputs due to the complexity of token-level representations. By providing a dynamic, causal analysis-driven benchmark and a human-interpretable taxonomy, this work offers actionable insights for improving LLMc behavior, supporting prompt engineering, and advancing the reliability and effectiveness of LLMc in SE tasks. The expected contribution is a significant advancement in the field of interpretable AI for software engineering, enabling more rigorous and reliable evaluation of LLMc capabilities and limitations.

链接与引用

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

BibTeX
@inproceedings{paperbot9131,
  title = {Towards More Interpretable Large Language Models for Code},
  author = {Daniel Rodriguez-Cardenas},
  booktitle = {FSE},
  year = {2025},
  doi = {10.1145/3696630.3731464}
}