6 tagged machine-learning-theory, measured the same way as everything else here.
Browse within: LaTeX 6econometrics 6mathematical-proof 6
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
A systematic checker for mathematical proofs in statistics and machine-learning research papers.
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…