Numerical And Symbolic Computation With Answer Verification

via “mathematical problem-solving with outcome-based verification”

Alibaba's 32B reasoning model with chain-of-thought.

Unique: Trained with outcome-based rewards using accuracy verifiers that check final answer correctness, enabling the model to learn which reasoning paths lead to correct solutions rather than relying on human-annotated reasoning traces — this verification-driven approach achieves 79.5% on AIME 2024 with only 32B parameters

vs others: Achieves AIME performance comparable to much larger reasoning models (DeepSeek-R1 at 671B) through efficient RL training with outcome verification, making it deployable on single-GPU hardware while maintaining competitive mathematical reasoning capability