Leanstral 1.5: Kekayaan Bukti yang Dapat Diakses Semua Orang

robot
Pembuatan abstrak sedang berlangsung
ME AI Pesan, Mistral AI hari ini merilis Leanstral 1.5, sebuah model verifikasi formal open-source berlisensi Apache-2.0, dengan total 119B parameter hanya 6B aktif. Mencapai 100% saturasi pada miniF2F, menyelesaikan 587/672 soal PutnamBench, FATE-H (87%) dan FATE-X (34%) menciptakan SOTA. Pelatihan melalui mid-training, SFT, dan pembelajaran penguatan berbasis CISPO. Memiliki kemampuan pembuktian seperti agen, menemukan 5 bug tidak diketahui di 57 repositori open-source. Model telah tersedia melalui HuggingFace dan API gratis. 🔗 Baca asli:
Lihat Asli
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
  • Hadiah
  • Komentar
  • Posting ulang
  • Bagikan
Komentar
Tambahkan komentar
Tambahkan komentar
Tidak ada komentar
  • Disematkan