TwiL LM3B
TwiL LM3B is a 3-billion-parameter formal-logic model from webAI that translates plain English into formal logic, verifies deductive conclusions, and performs multi-step reasoning for compliance, contracts, and research. It outperforms a 120B-parameter general model on rule induction, semantic parsing, and exact-format benchmarks while running entirely on consumer hardware for privacy-sensitive, 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.