TwiL LM1.7B
TwiL LM1.7B is a compact 1.7-billion-parameter formal-logic model from webAI that translates plain English into formal logic, verifies deductive conclusions, and runs multi-step reasoning for compliance, contracts, and research. Small enough to run on an iPhone, it delivers strong rule induction, semantic parsing, and exact-format performance for privacy-sensitive, fully offline use cases.
- Type
- Text
- Weights
- Open
More from webAI
1
About webAI
1
webAI is a sovereign AI platform that lets users build, run, and share specialized AI models locally on their own devices rather than in the cloud.