论文政策与合规精选10:36形式化方法+LLM：审计、监控与干预确保AI系统合规做AI安全与合规的团队终于有了可落地的形式化方法方案——LTL+小模型就能超越LLM裁判，建议做AI治理的开发者直接看实验部分。#形式化方法#AI安全/合规#LLM审计#时序逻辑aarXiv cs.LG@Parand A. Alamdari 等 3 人原文稍后读已读值得跟进有用关注 形式化方法