Model Gallery

4 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

twil-lm3-pro-q4
TwIL-LM3-Pro is a 3.66B Granite 4.2 fine-tune for formal logic, entailment, semantic parsing, and Lean formalization. This Q4_K_M GGUF uses llama.cpp with the embedded reasoning template and greedy sampling. The model license permits noncommercial research and educational use only.

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

twil-lm3-pro-q8
TwIL-LM3-Pro is a 3.66B Granite 4.2 fine-tune for formal logic, entailment, semantic parsing, and Lean formalization. This Q8_0 GGUF uses llama.cpp with the embedded reasoning template and greedy sampling. The model license permits noncommercial research and educational use only.

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