A focused specialist that punches above its weight class in mathematical reasoning. At 7 billion parameters, it handles algebraic manipulation, proof steps, and numerical problem-solving with notable precision for its size. The 4096-token context window is modest, so extended multi-step derivations may require careful chunking.