webAI ने TwIL-LM पेश किया: स्थानीय ऑटोफॉर्मलाइज़ेशन के लिए औपचारिक-तर्क मॉडल परिवार
webAI ने TwIL-LM जारी किया है, जो 1.7B और 3B पैरामीटर वाले दो औपचारिक-तर्क मॉडलों का परिवार है, जिसे स्थानीय रूप से चलाने के लिए डिज़ाइन किया गया है। ये मॉडल ऑटोफॉर्मलाइज़ेशन में विशेषज्ञ हैं, जो अंग्रेज़ी को प्रथम-क्रम तर्क में अनुवाद करते हैं। इन्हें गैर-व्यावसायिक लाइसेंस के तहत जारी किया गया है।
webAI
MarkTechPost11.08 · 10:01