본문 바로가기

NEWS

뉴스

AI, 개발, IT 업계의 최신 소식을 전합니다.

태그 필터:Lean4
"Lean4" 태그 뉴스
전체 1건
07.02
오픈소스
미스트랄, Lean 4 정리증명 오픈모델 Leanstral 1.5 공개 (Apache-2.0)
미스트랄이 형식 검증(Lean 4)용 오픈웨이트 모델 Leanstral 1.5를 Apache 2.0로 공개했다. PutnamBench 672문제 중 587개를 풀었다.