Skip to main content
●Measured savings across 11 LLMs, from Claude Opus 4.7 to Gemini Flash.→ See per-model data
Connect your client
Models

webAI releases TwIL-LM, a 3B formal-logic model outperforming GPT-OSS-120B

webAI released TwIL-LM, a family of formal-logic models with 1.7B and 3B parameter sizes that outperform OpenAI's GPT-OSS-120B on reasoning benchmarks while running on consumer hardware.

1 min read

webAI released TwIL-LM, a family of small formal-logic models designed for autoformalization and structured reasoning tasks that run on consumer hardware. The 3B variant, TwIL-LM3, achieves this with 40 times fewer parameters than OpenAI's GPT-OSS-120B while delivering 2.6 times faster inference spe...

Sign in to read the full analysis

Free account. Full analysis on LLM unit economics, plus the weekly Cost-of-Inference column.

Try it on your own context

You just read the writeup. Now run the thing. Paste a doc or some verbose tool output and watch it shrink — free, no signup.

2,912/12,000 chars
Compressed
Compressed text will appear here…
Method & sources
Source type
Primary publication (lab/vendor blog) — our analysis + implication
Source link
r/aidevelopernews
Published
UTC
Byline
By the gotcontext.ai team (editorial standards)
Correction?
corrections@gotcontext.ai

Related