Lewati ke konten utama

Cari di CooLWJ

Pilih cakupan pencarian, ketik kata kunci, lalu tekan Enter.

Bahasa

7B级形式化推理与验证小模型,媲美满血版DeepSeek-R1,全面开源!

Klik “Buka situs teks asli”, untuk melanjutkan membaca konten ini.

Pilih tema favorit

Tema pilihan berlaku di seluruh situs.