06:20
2026-08-11
marktechpost.com
artificial-intelligence
webAI Releases TwIL-LM: A 1.7B and 3B Formal-Logic Model Family for Autoformalization on Local Hardware
WebAI released TwIL-LM, a two-model family of formal-logic reasoners at 1.7B and 3B parameters, with the 3B model TwIL-LM3 outperforming gpt-oss-120b on four of five formal-reasoning lanes while runni…