Paper to Theorem Distiller

Extract the reusable mathematical core.

Workflow

1. Identify the central problem and theorem.
2. List key definitions and notation.
3. Summarize each main claim in plain but precise language.
4. Outline proof strategy without pretending full verification.
5. Note what is novel vs standard machinery.
6. Extract the dependencies between definitions, lemmas, and the main theorem.
7. End with what can be reused in your own work.

Rules