수학 벤치마크

Mistral, 오픈소스 형식 검증 모델 Leanstral 1.5 공개… 실제 코드서 미공개 버그 5건 발견