Beam 1.0 Collection Reflection’s first open-weight model, built for coding, reasoning, and agentic tasks • 4 items • Updated 23 days ago • 51
view article Article Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models project-numina • Jul 10, 2025 • 56