[논문리뷰] Scaling Lean Theorem Proving for Real-World Code Verification본 논문은 기존의 Formal reasoning 및 Code verification 벤치마크들이 거의 포화 상태에 도달하여 모델의 성능을 제대로 변별하지 못하는 문제를 해결하고자 한다.#Review#Lean Theorem Proving#Code Verification#Recursive Agents#Automated Reasoning#Formal Methods#Rust-to-Lean Verification2026년 10월 29일댓글 수 로딩 중
[논문리뷰] 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일댓글 수 로딩 중