webAI

webAI stellt TwIL-LM vor: Eine Familie formal-logischer Modelle für lokale Autoformalisierung

webAI hat TwIL-LM veröffentlicht, eine Familie von zwei formal-logischen Modellen mit 1,7 Milliarden und 3 Milliarden Parametern, die für den lokalen Betrieb konzipiert sind. Die Modelle sind auf Autoformalisierung spezialisiert und übersetzen Englisch in Logik erster Ordnung. Sie werden unter einer nicht-kommerziellen Lizenz veröffentlicht.

webAI