Skill Claude CodeCodex
Generate self-consistent repair plans for mathematical proof issues found by /proofcheck, with literature-backed support. For each problematic assumption, model, proposition, or theorem, proposes fixes that preserve the full dependency chain and searches arXiv, Semantic Scholar, and Google Scholar for new references…
Skill Claude CodeCodex
Writes rigorous mathematical proofs for ML/AI theory. Use when asked to prove a theorem, lemma, proposition, or corollary, fill in missing proof steps, formalize a proof sketch, 补全证明, 写证明, 证明某个命题, or determine whether a claimed proof can actually be completed under the stated assumptions.
Skill Claude CodeCodex
Systematically verify mathematical proofs in statistics/ML theory paper appendices. Use when user says "proof check", "check proofs", "verify proofs", "audit paper", "检查证明", "证明验证", or wants to verify correctness of a paper's mathematical proofs.
Skill Claude CodeCodex
Design a coherent theoretical framework for a new statistics / ML theory research topic, paper-type aware. Three modes — Theory paper (explain phenomena or provide new theoretical tools), Methodology paper (propose a new method with theoretical guarantees), Application paper (apply existing methods to scientific data…
Skill Claude CodeCodex
Systematically assess whether a paper's theoretical results can be strengthened: relax assumptions, sharpen rates, align theory with model and experiments, and benchmark against state-of-the-art literature. Use when user says "sharpen theory", "strengthen results", "relax assumptions", "improve rates", "理论提升", "放宽假设"…
Skill Claude CodeCodex
Bridge between theoretical results and Monte Carlo simulation, built to top-stat-journal standards (AoS, JASA, JRSS-B, Biometrika, Bernoulli). Two modes: (1) DESIGN mode — for each theoretical claim, design new simulations that verify rates, coverage, stress-test assumptions, and reveal theory-improvement…