[논문리뷰] Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory본 논문은 LLM 에이전트 워크플로우 및 실행 궤적에 대한 공식적인 모델링, 검증, 디버깅 방법론이 부재한 문제를 해결한다.#Review#Formal Methods#LLM Agent#Lean4#Workflow Verification#Trajectory Analysis#FormalAgentLib#LeanEvolve2026년 6월 8일댓글 수 로딩 중