Public KG record
TwIL-LM
Recorded overview
A two-model family (1.7B & 3B parameters) for autoformalization on local hardwar
An evidence-backed entity from the project knowledge graph; detailed tool metadata is still being added.
Recorded details
- Capabilities: GGUF
- Capabilities: local execution
Evidence coverage
The KG currently records 7 known information dimensions and has 12 undocumented dimensions, linked to 3 public source articles. These counts describe record coverage, not model performance or verified fit.
Related public records
- webAI — releases
- TwIL-LM 1.7B — part of
- TwIL-LM3 — part of
- autoformalization — applied to
- GGUF — has feature