It gives researchers a compact single-turn math model and accompanying evaluation and serving resources. Core capabilities include One-billion-parameter dense model, Mathematical reasoning, Up to 131K-token sequences, and Single-turn response design.
Public code or model weights are linked from the project, with setup instructions for running or adapting the system. Additional characteristics include Public model release, Released evaluations, A companion value model, and Custom vLLM serving plugin.

