Model Gallery

2 models from 1 repositories

Filter by type:

Filter by tags:

twil-lm3-q4
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.

Repository: localaiLicense: webai-non-commercial-license-ver.-1.0

twil-lm3-q8
TwIL-LM3 in the publisher's near-lossless Q8_0 GGUF format for quality-sensitive use on hosts with enough memory.

Repository: localaiLicense: webai-non-commercial-license-ver.-1.0