arXiv ID:
2602.20610
arXiv 提交日期: 2026-02-24
SpecMind:一种受认知启发的、用于后置条件推断的交互式多轮对话框架 / SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference
1️⃣ 一句话总结
这篇论文提出了一个名为SpecMind的新框架,它让大型语言模型像人类一样通过多轮交互和探索性尝试来逐步推理和改进程序的后置条件,从而比传统单次生成方法更准确、更完整地自动生成程序规范。