dechenzhang

Write a detailed branch-local theorem-level diagnostic draft from an accepted proof sketch before step-level proof work, with revi...

Review a branch-local global proof diagnostic after global-proof and before step-level proof work, deciding whether the diagnostic...

Translate a branch-local idea into a formal setting and goal and write perspective_M/idea_N/setting.md, preserving prior valid for...

Orchestrate the full ML theory research workflow, including idea discovery, upgraded split proof workflow with global proof diagno...

Assemble accepted proof-step artifacts into a self-contained, paper-ready LaTeX bundle without introducing unreviewed lemmas.

Diagnostic split-mode final proof reviewer that stress-tests the weakest theorem-level and step-level claims for counterexamples o...

Aggregate specialized split-mode proof reviews into the sole controller-facing final proof_review.md with score, failure type, cri...

Diagnostic split-mode final proof reviewer focused on goal alignment, dependency closure, sketch-step coverage, and assembly disci...

Generate or repair a branch-local proof sketch with explicit lemma-sized steps, dependencies, assumptions, and proof tools. Use fo...

Prove one accepted proof-sketch step with local lemmas, local derivations, cited-result assumption checks, and exact target-step a...

Review one proof-step artifact with per-local-lemma audit, hidden subclaim scan, target-claim audit, and local proof rigor checks.

Map the relevant ML theory and supporting empirical literature for a research direction, summarize settings, goals, results, techn...