Rust 코드의 자동 증명 생성을 위한 자기 진화 방식

데이터 부족 문제를 해결하기 위해 데이터 합성과 모델 미세 조정을 결합한 자기 진화 프레임워크인 SAFE를 통해 Rust 코드의 자동 증명 생성을 가능하게 한다.