decoupled-reasoning-proving

【效率与协作】Bridge the gap between informal mathematical reasoning (80% accuracy) and formal proof synthesis (8% success) by decoupling them: a general-purpose reasoner generates strategic lemmas, then a specialized prover verifies them formally. First open-source solver of post-2000 IMO problems.

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