Repository: localaiLicense: webai-non-commercial-license-ver.-1.0
TwIL-LM3 is a 3B SmolLM3-based reasoning model specialized for formal logic, entailment, semantic parsing, and Lean formalization. This default entry uses the publisher's recommended Q4_K_M GGUF and supports a 65K-token context window. A higher-quality Q8_0 build is available as a variant.
Links
Tags
TwIL-LM3 in the publisher's near-lossless Q8_0 GGUF format for quality-sensitive use on hosts with enough memory.
Links
Tags