Model Gallery

Discover and install AI models from our curated collection

2 models available
1 repositories
Documentation

Find Your Perfect Model

Filter by Model Type

Browse 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