TwIL-LM3

webAI推出的30亿参数形式化推理专精小模型，Q4_K_M量化后仅占1.78GiB，支持4GB显存或纯CPU运行，专注于形式化推理、规则归纳、语义解析等结构化任务