#증명보조도구

AI가 짠 코드, 수학적으로 증명할 수 있을까: Lean과 함께하는 형식 검증의 실전

AI 코딩 도구가 생성한 코드의 정확성을 보장하기 위해 Lean 같은 증명 보조 도구를 활용하는 반자동 형식 검증 파이프라인과 그 한계를 살펴봅니다.