[논문리뷰] 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일댓글 수 로딩 중