Open Source · MarkTechPost ·
webAI Releases TwIL-LM: A 1.7B and 3B Formal-Logic Model Family for Autoformalization on Local Hardware
webAI released TwIL-LM, a 1.7B and 3B parameter model family for translating English into first-order logic and checking conclusions. The models run on local CPU or GPU hardware under a non-commercial license, while benchmark scores cited in the model card apply to an unreleased checkpoint.