webAI Memperkenalkan TwIL-LM: Keluarga Model Logika Formal untuk Autoformalization Lokal
webAI telah merilis TwIL-LM, sebuah keluarga dari dua model logika formal dengan parameter 1,7 miliar dan 3 miliar, yang dirancang untuk berjalan secara lokal. Model-model ini mengkhususkan diri dalam autoformalization, yaitu menerjemahkan bahasa Inggris ke dalam logika orde pertama. Mereka dirilis di bawah lisensi non-komersial.
webAI
MarkTechPost11.08 · 10:01