Mistral、
要
AI要約
3行で- Mistral が Lean 4 向け Leanstral を公開しました。
- 重みは Apache 2.0 で提供されます。
- FLTEval のスコアは pass@2 で 26.3 です。
AI要約です。詳しくは出典へ。誤りを報告
Karunews が選んだ理由形式検証に特化したコードエージェントの性能と費用が比較表で示され、検証コストを下げる選択肢として読めます。
典