TwIL-LM3-Pro: a 3.66B formal-logic model built on Granite 4.2 3B with post-training for entailment, rule induction, and Lean proof critique
Read the original at www.reddit.com→Been digging into this one for the last few days. 3.66B model built on IBM’s Granite 4.2 3B, post-trained only for formal logic. Entailment checking, rule induction, Lean proof critique. Not a general assistant....
Original headline: "TwIL-LM3-Pro from webAI, a 3.66B formal logic model built on Granite 4.2 3B"
Coverage timeline
- Oct 13, 15:42 UTC r/LocalLLaMA lead source TwIL-LM3-Pro from webAI, a 3.66B formal logic model built on Granite 4.2 3B