3.66B formal logic model built on Granite 4.2 3B · Hugging Face
DGX agentwebAI released TwIL LM3 Pro on September 30. I haven't seen it posted here yet, so I went through the model card, and their comparison chart is attached. It's a 3.66B model built on IBM's Granite 4.2