Lean 4를 사용한 머신러닝 모델의 형식적 검증

`formal_verif_ml` 프로젝트는 Lean 4를 사용하여 머신러닝 모델의 속성(견고성, 공정성, 해석 가능성 등)을 형식적으로 검증하기 위한 프레임워크를 제공합니다. Lean 라이브러리, 모델 변환 도구, 웹 인터페이스, CI/CD 파이프라인을 포함하며 다양한 모델 유형을 지원합니다. 대화형 웹 포털을 통해 모델 업로드, 생성된 Lean 코드 보기, 증명 컴파일 트리거, 모델 아키텍처 시각화 등이 가능합니다.