1.7B TwIL-LM2 Specializes in Formal Logic, Beats 26B Giants
itsalreadyhardenough · reddit · 2026-08-15
TwIL-LM2 is a fine-tuned model (LoRA, 72M params) based on SmolLM2-1.7B, specialized solely for translating natural language into verifiable First-Order Logic, without general chat or reasoning capabilities.
Performance Highlight:
- On strict formal logic scoring (strict-7, no partial credit), TwIL-LM2 scored 0.2386, beating Qwen3-8B (0.2093) and Gemma-4-26B (0.2050).
- Larger models still win on "loose match" scoring, but the 1.7B model excels at emitting the exact formal representation required for downstream verification.
Use Case:
- Highlighted as an ideal "specialization" play: a small model doing one specific job well, slotted into a pipeline where a larger general model handles complex reasoning.
Note: Released under a Non-Commercial License.
Related event: 1.7B Logic-Tuned Model Outperforms Qwen3-8B on Formal Logic(2 posts)→
More from Models
- Qwen3.8-27B hits 206 tok/s on single RTX 5090 via SGLang — StefanoGogioso · 2026-08-17
- antirez Optimizes DwarfStar: 170 t/s Generation and 22k tokens/s Prefill on Station — antirez · 2026-08-17
- OpenAI Introduces Tiered Access and Launches GPT-5.6-Cyber Security Model — dl_weekly · 2026-08-17
- Alibaba Cloud still offers cheap DeepSeek models — tobowers · 2026-08-17
- Claude Personification Moment: Rejecting Users and Judging Intentions — ctjlewis · 2026-08-17
- Qwen3.8 Benchmarks: MTP Settings Impact Throughput, Q4 Outperforms Q8 — New-Inspection7034 · 2026-08-17