一键导入
venue-targeting
Pick a target publication venue, define the venue-specific publication bar, and route loop-backs after proof, experiment, or verifier passes.
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
菜单
Pick a target publication venue, define the venue-specific publication bar, and route loop-backs after proof, experiment, or verifier passes.
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
| name | venue-targeting |
| description | Pick a target publication venue, define the venue-specific publication bar, and route loop-backs after proof, experiment, or verifier passes. |
Use this skill whenever the workflow needs to:
The key rule: never judge "publishable enough" in the abstract. Always judge against a named target venue or venue family.
When a candidate is still in ideation, store venue choice in
notes/gap_briefs/<slug>.md.
When a candidate is promoted, copy the active venue state into
project.yaml:
target_venue: ICLR
backup_venues:
- NeurIPS
- AAAI
venue_family: ml-top
publication_bar:
headline_result: "clear ML-relevant conceptual or algorithmic result"
novelty: high
theory_depth: medium
empirical_depth: high
writing_style: "ML-first framing with strong related-work positioning"
loop_history: []
These fields are optional until a candidate is promoted, but once the
project is in mode: project, they should be treated as part of the
canonical state.
Every surviving gap brief should include:
Target venueBackup venuesVenue-fit rationaleMinimum publishable barLoop triggersDo not leave these vague. Name the missing ingredient that would cause a loop.
Use the most specific named venue that fits, but reason through the family-level bar.
ml-topNamed venues:
Typical bar:
Fatal weaknesses:
algorithms-theoryNamed venues:
Typical bar:
Fatal weaknesses:
econ-theoryNamed venues:
Typical bar:
Fatal weaknesses:
market-design-game-theoryNamed venues:
Typical bar:
Fatal weaknesses:
networks-social-computationNamed venues:
Typical bar:
Fatal weaknesses:
ai-agents-multiagentNamed venues:
Typical bar:
Fatal weaknesses:
When ranking a candidate, score:
problem_fit — does the venue care about this question?result_fit — theorem / mechanism / empirical / lower-bound shape.novelty_fit — how high the incremental-novelty tolerance is.evidence_fit — how much proof, experiment, or literature coverage is
required.writing_fit — whether the story can be told in that venue's language.Choose:
Target venueBackup venuesDo not choose a prestige target that the contribution shape obviously does not support.
Every proof pass, experiment pass, or verifier pass should end with one of these judgments:
meets barclose-needs-proofclose-needs-experimentclose-needs-modelclose-needs-literaturestrong-but-wrong-venuenot-publishable-yetThese are routing judgments, not just prose labels.
proof-pass again whenexperiment-pass again whenrefine-model whenliterature-review whenretarget venue whenRetargeting is not failure. It is often correct research strategy.
Map failure type to route:
| Failure type | Route |
|---|---|
| Theorem technically incomplete but on-track | proof-pass |
| Theorem true only under changed assumptions | refine-model |
| Main statement not novel enough | literature-review |
| Results solid but too narrow for target venue | retarget venue |
| ML venue but no convincing ML relevance | literature-review or retarget venue |
| Theory venue but contribution depends on weak experiments | refine-model |
| Econ venue but no economic stakes | refine-model or retarget venue |
| Market-design venue but weak incentive content | refine-model |
When this skill is used, the run summary should make four things explicit:
Example:
### Next actions
- Target venue: `ACM EC` — publication-bar judgment: `close-needs-model`.
- Reason: proofs suggest the current result is technically sound but not
yet mechanism-first enough for EC.
- Recommended route: `refine-model` to strengthen incentive / welfare
content before another proof pass.
Academic research assistant for literature reviews, paper analysis, and scholarly writing. Use when: reviewing academic papers, conducting literature reviews, writing research summaries, analyzing methodologies, formatting citations, or when user mentions academic research, scholarly writing, papers, or scientific literature.
Adversarial review of mathematical proofs, theorems, and formal arguments. Use when asked to review a proof, check a paper's correctness, verify a theorem, find bugs in mathematical reasoning, audit a derivation, or stress-test a formal argument. Implements iterative self-correction from Woodruff et al. (2026) and the Generator-Verifier-Reviser pattern from Aletheia (Feng et al., 2026).
Read, update, and promote claim statuses through the controlled vocabulary. Includes the project.yaml patch protocol and the conjectures.md update procedure.
Systematically test mathematical conjectures by searching for counterexamples, verifying small cases, and constructing proofs or refutations. Use when Raman proposes a conjecture, when a paper claims an unproven bound, when testing whether a theorem generalizes, or when asked to "find a counterexample," "test this conjecture," "verify this bound," or "check if this holds." Implements the simulation and counterexample search techniques from Woodruff et al. (2026) and the neuro-symbolic verification loop from Aletheia (Feng et al., 2026).
Generate research ideas by finding cross-disciplinary connections, retrieving obscure theorems from distant fields, and identifying analogies between different mathematical domains. Use when Raman asks for new research directions, when ingesting a paper that might connect to other fields, when looking for "bridges" between topics, or when asked to "find connections," "what other fields use this technique," or "cross-pollinate." Implements the cross-pollination techniques from Woodruff et al. (2026, Section 2.2, 4.x) and AI Behavioral Science's framework for studying AI-human strategic interactions (Jackson et al., 2025).
Classify each prose claim before writing to paper/paper.md. Enforce the controlled vocabulary and reject illegal proof language.