AINewsnow

TwIL-LM3-Pro from webAI, a 3.66B formal logic model built on Granite 4.2 3B

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. Recipe is LoRA SFT + checkpoint merging + RL against a programmatic verifier. Same reci…

Read the full story at r/LocalLLaMA ↗

Timeline · 1 report

  1. 2026-10-13 15:42 · r/LocalLLaMA
    TwIL-LM3-Pro from webAI, a 3.66B formal logic model built on Granite 4.2 3B

More stories

  1. Google Releases Gemini 4 Argon Globally With Aggressive Pricing — Google AI Blog
  2. Apple Launches HomeView, Apple TV 4K, and HomePod Mini 2 — Engadget
  3. OpenAI staffer arrested for planting hidden recording device — Sky News Technology
  4. Developing Gemini 4 Argon responsibly and safely — Google Gemini Blog
  5. Google Play enables private installation of AI-generated Android apps — TechCrunch AI
  6. Anthropic warns AI models could soon copy themselves across home devices — CNBC Technology
  7. Just 5 years in, interactive chatbot platform Character.AI files for bankruptcy — TechCrunch AI
  8. How artificial neural networks build their own learning machinery — MIT News AI

Get the daily brief of stories like this at 6:30 every morning →