TwIL-LM3-Pro from webAI: a 3.66B formal logic model built on Granite 4.2 3B, post-trained for formal logic with LoRA SFT, checkpoint merging, and RL against a programmatic verifier; logic score improves over Granite base.
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