domains / families / research / proof-writer

proof-writer

authentic

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.

When to use

• prove a theorem
• prove a lemma
• prove a proposition
• prove a corollary
• fill in missing proof steps
• formalize a proof sketch
• determine whether a claimed proof can be completed

When not to use

• writing directly into paper sections
• writing into appendix .tex files

Skill page

Source