Seed Prover 1.5 - ByteDance's next-generation mathematical reasoning model
Seed Prover 1.5 is a next-generation formal mathematical reasoning model launched by ByteDance's Seed team. The model employs an innovative Agentic Prover architecture, trained through large-scale reinforcement learning (Agentic RL), significantly...