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).
Explorar Skills
Desarrollo · SKILL.md
longcat-flash-prover
longcat-flash-proverIntegrate agentic tool interaction (Lean4 compiler, syntax checkers) with curriculum-based RL for formal reasoning. Replace standard importance sampling with Hierarchical Importance Sampling Policy Optimization (HisPO): sequence-level masking removes train-inference discrepancies, token-level masking filters inconsistent tokens, staleness control manages po…
Independent GitHub snapshot · Automated classification · Original documentation governs
Documentación de la Skill
GitHubCargando documentación desde el origen…