-
Leanstral 1.5: 모두를 위한 증명 풍요
Leanstral 1.5: 모두를 위한 증명 풍요 | GeekNews
<ul> <li>형식 검증을 실제 개발 작업에 더 가깝게 쓰려는 흐름 속에서, Mistral AI가 <strong>Lean 4</strong>용 Apache-2.0 모델 <strong>Leanstral 1.5</strong>를 공개함</li> <li>모델은 119B 총 파라미터 중 6B만 활성화하며, 중간 학습·지도 미세…
-
Mistral OCR 4 공개
Mistral OCR 4 공개 | GeekNews
<ul> <li>Mistral AI가 공개한 <strong>Mistral OCR 4</strong>는 문서에서 텍스트만 뽑는 OCR을 넘어 바운딩 박스, 블록 분류, 인라인 신뢰도 점수까지 함께 반환하는 문서 이해 모델임</li> <li>10개 언어 그룹의 <strong>170개 언어</strong>와 단일 컨테이너 자체…