Results for “theorem-proving”
4 skills
More results
herdiansah verification-before-completion
Use when about to claim work is complete, fixed, or passing, before committing or creating PRs - requires running verification commands and confirming output before making any success claims; evidence before assertions always
23
sirnosh bmad-ml-sage
Provides PhD-level mathematical analysis for machine learning, including optimization theory, statistical learning theory, and convergence proofs.
0 · bundle
samyakjhaveri paper-claim-audit
Verifies that every number, comparison, and scope claim in a research paper matches raw result files, using a fresh cross-model reviewer with no prior context to prevent confirmation bias.
0