Reasoning & Mathematical Problem Solving

LLM reasoning capabilities — chain-of-thought, process reward models, tree search, and formal verification. Covers competition math, theorem proving, and code reasoning benchmarks.