Built for compliance rules, contract logic, and research reasoning, the 3B model beats OpenAI's open-weights gpt-oss-120b, a model 40× its size, on four of five formal-reasoning benchmarks, while the ...