Description

A family of small formal-logic models developed by webAI that are optimized for edge performance. The 3B parameter version notably outperforms models 40x its size, such as gpt-oss-120b, on formal reasoning benchmarks including rule induction and structured query parsing while running 2.6x faster on consumer hardware.

Descriptions, tags, and model credits may be AI-generated or inferred from public sources and can be incomplete or wrong. Learn more.