公开知识图谱记录
TwIL-LM
记录摘要
A two-model family (1.7B & 3B parameters) for autoformalization on local hardwar
来自项目知识图谱的有来源实体；具体工具属性仍需补齐。
已记录信息
- 能力: GGUF
- 能力: local execution
资料覆盖
知识图谱当前记录了 7 个已知资料维度，另有 12 个维度尚未记录，关联 3 篇公开资料。这些数字只描述资料覆盖，不代表模型性能或适配性已经验证。
相关公开记录
- webAI — 发布
- TwIL-LM 1.7B — 隶属
- TwIL-LM3 — 隶属
- autoformalization — 用于
- GGUF — 具备特性