seed-prover-automated-theorem-proving

【开发与工程】Framework combining formal verification feedback with long chain-of-thought reasoning to enable deep and broad mathematical reasoning for automated theorem proving. Achieves 78.1% on formalized IMO problems through lemma-based refinement and test-time inference strategies.

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