arXiv ID:
2602.11136
arXiv 提交日期: 2026-02-11
FormalJudge:一种用于智能体监督的神经符号范式 / FormalJudge: A Neuro-Symbolic Paradigm for Agentic Oversight
1️⃣ 一句话总结
这篇论文提出了一种名为FormalJudge的新方法,它结合了大型语言模型和形式化验证技术,将人类意图转化为可数学证明的约束条件,从而为AI智能体的行为安全提供比传统概率性评估更可靠的保障。