List your company

Mathematical Problem Solving on Putnam-Axiom (PA)

39.5Exact Match AccDeepMath (RULES)
5.38814.24423.131.956Feb 1, 2026

Evaluation results

MethodLinks
DeepMath (RULES)Optimization=RULES2026.0239.5
DeepMath (vanilla)Optimization=vanilla2026.0239.1
DeepMath (GRPO)Optimization=GRPO2026.0237.9
Qwen2.5 (GRPO)Optimization=GRPO2026.0235.6
Qwen2.5 (vanilla)Optimization=vanilla2026.0232.4
Qwen2.5 (RULES)Optimization=RULES2026.0232
Llama-3.1 (GRPO)Optimization=GRPO2026.0213.2
Llama-3.1 (RULES)Optimization=RULES2026.0212.8
Llama-3.1 (vanilla)Optimization=vanilla2026.0211.5
OLMO2 (vanilla)Optimization=vanilla2026.028.4
OLMO2 (GRPO)Optimization=GRPO2026.027.8
OLMO2 (RULES)Optimization=RULES2026.026.7