paperbot · PL 论文追踪

全部论文 待读 收藏

P1 Online and Interactive Bayesian Inference Debugging

在线与交互式贝叶斯推断调试
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 5/10 · 论文关注概率编程中贝叶斯推断的在线交互式调试工具,与用户对贝叶斯程序分析的兴趣有交集,但不涉及静态分析、LLM/Agent 或浮点程序分析,且核心是调试工具与用户研究而非程序分析技术。引用 1 inbox
Nathanael Nussbaumer, Markus Böck, Jürgen Cito
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话:提出在开发环境中在线交互式调试贝叶斯推断的方法与工具,显著降低调试时间与难度。

概率编程允许用户以程序形式编写贝叶斯模型并自动执行后验推断,使贝叶斯方法更容易被多领域从业者使用。然而,识别和修复推断中的问题非常困难,通常耗时且需要深厚专业知识。本文提出一种在线、交互式调试贝叶斯推断的新方法,首先讨论贝叶斯推断调试框架应满足的关键需求,然后实现一个在开发环境内直接满足这些需求的新工具。作者通过一项包含18名有经验参与者的用户研究进行评估,结果表明该方法能显著减少推断调试任务所需的时间和难度。

问题
概率编程中贝叶斯推断的问题识别与修复十分困难,耗时且需要深厚的领域与推断知识。
方法
提出贝叶斯推断调试框架的关键需求,并实现一个集成在开发环境中的在线交互式调试工具。
评估
通过18名有经验参与者开展用户研究,结果显示该方法显著降低推断调试任务的时间与难度。
原文摘要(Abstract)

Probabilistic programming is a rapidly developing programming paradigm which enables the formulation of Bayesian models as programs and the automation of posterior inference. It facilitates the development of models and conducting Bayesian inference, which makes these techniques available to practitioners from multiple fields. Nevertheless, probabilistic programming is notoriously difficult as identifying and repairing issues with inference requires a lot of time and deep knowledge. Through this work, we introduce a novel approach to debugging Bayesian inference that reduces time and required knowledge significantly. We discuss several requirements a Bayesian inference debugging framework has to fulfill, and propose a new tool that meets these key requirements directly within the development environment. We evaluate our results in a study with 18 experienced participants and show that our approach to online and interactive debugging of Bayesian inference significantly reduces time and difficulty on inference debugging tasks.

链接与引用

DOI 原文 · arXiv · DBLP

BibTeX
@inproceedings{abs-2510-26579,
  title = {Online and Interactive Bayesian Inference Debugging},
  author = {Nathanael Nussbaumer and Markus Böck and Jürgen Cito},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3744916.3773215}
}