seed-prover-1-5

【效率与协作】Enable LLM agents to incrementally construct formal proofs through strategic tool orchestration rather than one-shot generation. Combines natural language reasoning, sketch translation, and formal verification in an agentic workflow trained via PPO and Rubric RL, achieving competitive performance on undergraduate and graduate proof problems.

独立 GitHub 快照 · 自动分类 · 以原作者文档为准