webAI Introduces TwIL-LM: A Formal-Logic Model Family for Local Autoformalization
webAI has released TwIL-LM, a family of two formal-logic models at 1.7B and 3B parameters, designed to run locally. The models specialize in autoformalization, translating English into first-order logic. They are released under a non-commercial license.
webAI
MarkTechPost11.08 · 10:01