오픈웨이트 계보Mistral AI
Leanstral 공개
Leanstral 공개 — Lean 4용 오픈소스 코드 에이전트(120B-A6B, Apache 2.0). 형식 검증 평가 스위트 FLTEval 동시 공개
왜 중요한가
AI 생성 코드를 형식 명세에 대해 기계적으로 검증하는 방향. 평가 축을 경쟁 수학에서 실제 형식화 프로젝트 기여로 이동
출처 — 1차 출처만 싣고, 직접 이동해 확인할 수 있어요
공식 발표mistral.aihttps://mistral.ai/news/leanstral/2026년 8월 24일에 더한 조각 · 그 주 보기
같은 주에 나온 조각03.21text-generation-inference 저장소 아카이브공식 발표03.19Reflection in the Dark 발표논문03.16Mistral Small 4 공개공식 발표