IT
it
.xnews.jp
検索
API
タグ
"lean"
で絞り込み中 (1 件) —
すべての記事に戻る
Mistral AI、形式検証向けの新モデル「Leanstral 1.5」を公開
Mistral AI · 2026-07-04
lean
formal-verification
model-release