[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"model-twil-lm3":3},{"model":4,"providerPool":69},{"id":5,"name":6,"slug":7,"provider":8,"family":9,"variant":10,"description":11,"url":12,"openWeights":13,"license":14,"parameters":10,"contextWindow":15,"outputLimit":-1,"modalities":16,"modalitiesOut":18,"inputPricePerMTok":-1,"outputPricePerMTok":-1,"cacheReadPricePerMTok":-1,"cacheWritePricePerMTok":-1,"announcedAt":-1,"releasedAt":19,"lastUpdated":-1,"knowledge":-1,"status":22,"reasoning":13,"reasoningControl":23,"toolCall":-1,"attachment":-1,"aiSdkId":-1,"modelsDevUrl":-1,"openrouterUrl":-1,"hf":24,"company":51,"articles":56,"createdAt":68},"entity_01kzpfya86fvn8q0kajqww0x79","TwiL-LM3","twil-lm3","webAI","TwiL-LM","3B","A 3B formal-logic reasoning model built from SmolLM3-3B by LoRA fine-tuning, checkpoint fusion, WiSE-FT interpolation and entropy-weighted GRPO, which beats gpt-oss-120b on four of five lanes of webAI's formal-reasoning suite.","https:\u002F\u002Fhuggingface.co\u002FwebAI-Official\u002FTwIL-LM3",true,"webAI Non-Commercial License v1.0",65536,[17],"text",[17],{"value":20,"precision":21},"2026-08-07","day","ga",[],{"fullName":25,"url":12,"downloads":26,"likes":27,"license":28,"pipelineTag":29,"tags":30,"lastModified":50},"webAI-Official\u002FTwIL-LM3",289,45,"other","text-generation",[31,32,33,34,29,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49],"transformers","safetensors","gguf","smollm3","formal-logic","reasoning","lora","model-merging","wise-ft","reinforcement-learning","grpo","twil-lm","conversational","en","base_model:HuggingFaceTB\u002FSmolLM3-3B","base_model:adapter:HuggingFaceTB\u002FSmolLM3-3B","license:other","endpoints_compatible","region:us","2026-08-12T21:22:50.000Z",{"id":52,"name":8,"slug":53,"url":54,"bio":55,"githubOrg":-1},"entity_01kz4rc7egfvmtc6gnd5zdmkwr","webai","https:\u002F\u002Fwww.webai.com\u002F","Build specialized AI that runs where your data lives. webAI is a sovereign AI platform for creating, owning, and connecting specialized intelligence across networks.",[57],{"id":58,"name":59,"slug":60,"summary":61,"url":62,"kind":63,"platform":64,"author":65,"authorHandle":-1,"publisher":8,"publishedAt":20,"about":66,"writtenBy":67,"createdAt":-1},"entity_01kzpfpt6xfvn8q0hkfg68smnm","webAI Releases TwiL-LM, a Family of Formal-Logic Models That Outreason a 120B Model and Run on an iPhone","webai-releases-twil-lm-a-family-of-formal-logic-models-that-outreason-a-120b","Built for compliance rules, contract logic, and research reasoning, the 3B model beats OpenAI's open-weights gpt-oss-120b, a model 40× its size, on four of five formal-reasoning benchmarks, while the 1-gigabyte 1.7B variant outperforms every sub-2B model webAI evaluated.","https:\u002F\u002Fwww.webai.com\u002Fblog\u002Fwebai-releases-twil-lm-a-family-of-formal-logic-models-that-outreason-a-120b-model-and-run-on-an-iphone","article","web","webAI Team",[],[],1786387572,[70,82],{"id":5,"name":6,"slug":7,"provider":8,"family":9,"variant":10,"description":11,"url":12,"openWeights":13,"license":14,"parameters":10,"contextWindow":15,"outputLimit":-1,"modalities":71,"modalitiesOut":72,"inputPricePerMTok":-1,"outputPricePerMTok":-1,"cacheReadPricePerMTok":-1,"cacheWritePricePerMTok":-1,"announcedAt":-1,"releasedAt":73,"lastUpdated":-1,"knowledge":-1,"status":22,"reasoning":13,"reasoningControl":74,"toolCall":-1,"attachment":-1,"aiSdkId":-1,"modelsDevUrl":-1,"openrouterUrl":-1,"hf":75,"company":77,"articles":78,"createdAt":68},[17],[17],{"value":20,"precision":21},[],{"fullName":25,"url":12,"downloads":26,"likes":27,"license":28,"pipelineTag":29,"tags":76,"lastModified":50},[31,32,33,34,29,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49],{"id":52,"name":8,"slug":53,"url":54,"bio":55,"githubOrg":-1},[79],{"id":58,"name":59,"slug":60,"summary":61,"url":62,"kind":63,"platform":64,"author":65,"authorHandle":-1,"publisher":8,"publishedAt":20,"about":80,"writtenBy":81,"createdAt":-1},[],[],{"id":83,"name":84,"slug":85,"provider":8,"family":9,"variant":86,"description":87,"url":88,"openWeights":13,"license":14,"parameters":86,"contextWindow":89,"outputLimit":-1,"modalities":90,"modalitiesOut":91,"inputPricePerMTok":-1,"outputPricePerMTok":-1,"cacheReadPricePerMTok":-1,"cacheWritePricePerMTok":-1,"announcedAt":-1,"releasedAt":92,"lastUpdated":-1,"knowledge":-1,"status":22,"reasoning":-1,"reasoningControl":93,"toolCall":-1,"attachment":-1,"aiSdkId":-1,"modelsDevUrl":-1,"openrouterUrl":-1,"hf":94,"company":105,"articles":106,"createdAt":110},"entity_01kzpfy8bffvn8q0j1xqte9b8q","TwiL-LM 1.7B","twil-lm-1-7b","1.7B","A LoRA adapter over SmolLM2-1.7B-Instruct for formal logic — FOL translation, entailment, semantic parsing and Lean assistance — quantized to a 1.06 GB download that runs on a phone.","https:\u002F\u002Fhuggingface.co\u002FwebAI-Official\u002FTwIL-LM",8192,[17],[17],{"value":20,"precision":21},[],{"fullName":95,"url":88,"downloads":96,"likes":97,"license":28,"pipelineTag":29,"tags":98,"lastModified":104},"webAI-Official\u002FTwIL-LM",519,11,[31,32,33,99,29,35,36,37,38,39,40,41,100,42,43,44,101,102,47,103,48,49],"llama","smollm2","base_model:HuggingFaceTB\u002FSmolLM2-1.7B-Instruct","base_model:adapter:HuggingFaceTB\u002FSmolLM2-1.7B-Instruct","text-generation-inference","2026-08-12T21:22:59.000Z",{"id":52,"name":8,"slug":53,"url":54,"bio":55,"githubOrg":-1},[107],{"id":58,"name":59,"slug":60,"summary":61,"url":62,"kind":63,"platform":64,"author":65,"authorHandle":-1,"publisher":8,"publishedAt":20,"about":108,"writtenBy":109,"createdAt":-1},[],[],1786387571]