沙丘社区
论文

代码作为审计员：通过法规到代码进行可执行的合规推理

Code-as-Auditor: Executable Compliance Reasoning via Regulation-to-Code

Jisoo Kim; Taeyoon Kwack; Jinwoo Jang; Woo Kyung Kim; Honguk Woo
模型推理推理策略与问题分解

摘要

大型语言模型 (LLM) 越来越多地用于合规性和法律推理任务，但其输出往往缺乏法律逻辑和证据的明确基础。我们提出了 Code-as-Auditor，这是一个基于大语言模型的框架，它将模型的推理能力扩展到结构化和基于证据的合规性评估。该框架将监管信息转化为（1）形式化检查表和可执行决策树，将法规和条件编码为可解释的代码结构。在推理过程中，每个清单项目 (2) 动态扩展为事实和反事实问题，指导模型对特定案例的证据和潜在违规行为进行推理。该过程建立了从证据识别、规则应用到最终决策的推理管道，同时自我验证循环提高了生成代码的逻辑一致性和结果的可追溯性。隐私和数据保护场景的实验表明，Code-as-Auditor 可提供更准确且有证据支持的评估，从而实现基于明确监管标准的自动合规性监管检查。