A highly efficient reasoning model with 760M active parameters. Excels at mathematics, coding, and complex reasoning tasks.