brainstorming
brainstorming
You MUST use this before any creative work - creating features, building components, adding functionality, modifying behavior, or planning anything new, in software or out of it (a talk, a business, a renovation).
Skills 둘러보기
개발 및 엔지니어링 · SKILL.md
seed-prover-automated-theorem-proving
seed-prover-automated-theorem-provingFramework 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.
Independent GitHub snapshot · Automated classification · Original documentation governs
Skill 문서
GitHub소스에서 문서를 불러오는 중…