[논문리뷰] FVSpec: Real-World Property-Based Tests as Lean Challenges본 논문은 AI 모델 및 에이전트의 실제 소프트웨어 형식 검증(formal software verification) 능력을 평가하기 위한 벤치마크 부족 문제를 해결하고자 합니다.#Review#Formal Verification#Property-Based Testing#Lean 4#LLM Pipeline#Benchmark#AI Safety#Structural Faithfulness2026년 6월 14일댓글 수 로딩 중