Zhijun Zhang

Plan the smallest set of diagnostic, comparison, paper, and appendix figures or tables needed to support verified mathematical-modeling decisions and claims.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Faithfully append a human modeler's choice and rationale to one canonical per-subquestion JSONL decision ledger. Use after a choice card is answered or when migrating legacy decision artifacts; never originate or improve the decision.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Polish mathematical modeling paper drafts for grammar, clarity, formula consistency, hedging calibration, overclaim detection, and contest formatting compliance. Use after paper-section-writer has drafted sections.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Perform the final submission-level audit of mathematical-modeling workflow integrity, evidence quality, anti-fabrication, paper coherence, figures, references, and contest readiness after consistency and completeness audits pass.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Audit whether the semantic evidence required by the active lean or submission profile exists and is current, without requiring one verbose artifact per skill or an arbitrary number of pass bullets.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.