[논문리뷰] LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents본 논문은 tool을 사용하는 LLM 기반 에이전트가 도메인 정책을 위반하거나 안전하지 않은 환경 변화를 초래하는 문제를 해결하기 위해 LeanGuard를 제안합니다.#Review#Language-Model Agents#Formal Verification#Lean 4#Guardrails#Tool-Using Agents#Temporal Logic#Runtime Policy Enforcement2026년 11월 2일댓글 수 로딩 중