paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Towards Fully Automated Medical Imaging Code Generation via Validation-Based Context Engineering

迈向全自动医学影像代码生成:基于验证的上下文工程
ASE Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering2026匹配度 4/10 · 论文属于 LLM 驱动的领域代码生成/程序合成,包含多阶段验证与静态检查,与“Agentic 程序”和“程序合成”有交集;但核心目标是医学影像处理代码生成,而非静态分析/形式化验证方法本身,也未涉及浮点或贝叶斯程序分析,因此与用户研究核心匹配有限。引用 0 inbox
Zixiao Zhao, Jing Sun, Zhe Hou, Cheng-Hao Cai, Qian Liu, Mengze Li, Zijian Zhang, Jin Song Dong
crossref: 2026-10-09

AI 速览

一句话:提出多智能体框架 AutoMedImg,以多阶段验证与自动上下文工程实现零人工干预的医学影像处理代码生成。

通用大语言模型在小规模常规程序生成上表现可观,但面对医学影像处理这类复杂领域任务时,因缺乏显式领域知识与可靠的正确性验证机制,往往需要大量人工介入才能产出可靠的处理流水线。为此作者提出 AutoMedImg——一个面向全自动医学影像处理代码生成的多智能体框架。它把流程组织为两个阶段:规划阶段完成数据集分析与架构设计,并进行语义与形式验证;编码阶段并行生成各模块,同时施加静态检查、执行测试与装配验证。这种多阶段验证抑制了生成过程中的错误传播,而结合领域知识库、共享记忆与验证反馈的自动上下文工程则免去了人工提示构建。跨项目自适应流水线合成机制进一步累积已验证流水线,并按项目相似度检索可复用组件,实现跨项目学习以提升生成效率。作者在六个成熟医学影像数据集与五种骨干 LLM 上开展评估,结果显示框架完全无需人工干预,分割任务 Dice 最高达 0.90,分类准确率达 99%。

问题
通用 LLM 缺乏显式领域知识与稳健的验证机制,在为医学影像处理这类复杂领域任务生成代码时正确性无保障,通常需要大量人工干预。
方法
提出多智能体框架 AutoMedImg:规划阶段做数据集分析与架构设计并施加语义和形式验证,编码阶段并行生成模块并配合静态检查、执行测试与装配验证;同时以领域知识库、共享记忆和验证反馈实现自动上下文工程,并用跨项目自适应流水线合成复用已验证组件。
评估
在六个多样且成熟的医学影像数据集与五种骨干 LLM 上进行广泛评估,验证了零人工干预下分割 Dice 最高 0.90、分类准确率 99% 的效果。
原文摘要(Abstract)

Large language models (LLMs) have demonstrated considerable promise in program generation for small-scale and conventional application development; however, they remain limited when applied to complex, domain-specific tasks such as medical image processing. General-purpose models lack explicit domain knowledge and robust validation mechanisms to ensure correctness, often requiring substantial human intervention to produce reliable processing pipelines. To address these limitations, we propose AutoMedImg, a multi-agent framework for fully automated medical image processing code generation. AutoMedImg orchestrates specialised agents across two phases: a Planning Phase that performs dataset analysis and architecture design with semantic and formal verification, and a Coding Phase that generates modules in parallel with static checking, execution testing, and assembly validation. This multi-stage validation mitigates error propagation throughout generation, while comprehensive auto-context engineering combining domain-specific knowledge bases, shared memory, and validation feedback automates context construction without manual prompting. A cross-project adaptive pipeline synthesis mechanism further accumulates validated pipelines and retrieves proven components for new tasks based on project similarity, enhancing generation efficiency through cross-project learning. Extensive evaluation across six diverse and well-established medical imaging datasets with five backbone LLMs demonstrates that AutoMedImg achieves zero human intervention, with Dice scores of up to 0.90 for segmentation tasks and 99% accuracy for classification.

链接与引用

DOI 原文 · arXiv ·

BibTeX
@inproceedings{paperbot12303,
  title = {Towards Fully Automated Medical Imaging Code Generation via Validation-Based Context Engineering},
  author = {Zixiao Zhao and Jing Sun and Zhe Hou and Cheng-Hao Cai and Qian Liu and Mengze Li and Zijian Zhang and Jin Song Dong},
  booktitle = {ASE},
  year = {2026},
  doi = {10.1145/3832783.3834399}
}