webAI releases TwIL-LM3-Pro, a 3.66B formal-logic model built on Granite 4.2 3B
WebAI published this on Oct 10, 2026 (source: webai.com).
webAI released TwIL-LM3-Pro, a 3.66B formal-logic specialist fine-tuned from IBM’s Granite 4.2 3B. The company says the headline formal-logic composite rises 31% relative over TwIL-LM3, from 42.2 to 55.4 on its 100-point scale, with quantized GGUF builds small enough for local llama.cpp or Transformers use. Weights and evaluation details are on Hugging Face under webAI-Official/TwIL-LM3-Pro; the model is under webAI’s non-commercial license.