Mistral AI의 Leanstral 1.5 모델이 출시되었습니다.
Mistral AI가 새롭게 Leanstral 1.5 모델을 발표했습니다. 이 모델은 Lean 4를 위한 Apache-2.0 라이선스를 기반으로 하며, 119B 총 파라미터에서 6B만 활성화됩니다. 또한, 중간 학습 및 지도 미세조정 기능을 통해 증명 작성과 코드 저장소 작업이 가능하다고 합니다.
Mistral AI has released the Leanstral 1.5 model.
Mistral AI announced the release of the Leanstral 1.5 model. This model is based on Apache-2.0 for Lean 4 and activates only 6B out of 119B total parameters. It also boasts intermediate training and supervised fine-tuning capabilities for proof writing and code repository tasks.