Leanstral 공개
Leanstral 공개 — Lean 4용 오픈소스 코드 에이전트(120B-A6B, Apache 2.0). 형식 검증 평가 스위트 FLTEval 동시 공개
왜 중요한가
AI 생성 코드를 형식 명세에 대해 기계적으로 검증하는 방향. 평가 축을 경쟁 수학에서 실제 형식화 프로젝트 기여로 이동
출처 — 1차 출처를 우선 확인하고, 2차 보도는 「보도」로 따로 표시해요
공식 발표mistral.aihttps://mistral.ai/news/leanstral/2026년 35주차에 더한 기록이에요 · 그 주 보기