jurgendn Paper to Theorem Distiller
Extract the reusable mathematical core.
Workflow
- Identify the central problem and theorem.
- List key definitions and notation.
- Summarize each main claim in plain but precise language.
- Outline proof strategy without pretending full verification.
- Note what is novel vs standard machinery.
- Extract the dependencies between definitions, lemmas, and the main theorem.
- End with what can be reused in your own work.
Rules
- Separate paper claims from verified details.
- If a proof was not checked, say so.
- Do not compress away assumptions; they are often the point.
- Separate reusable technique from paper-specific setup.
Output
Return:
- problem and setting;
- notation and definitions;
- main theorem/claims;
- proof dependency map;
- proof strategy;
- assumptions and limitations;
- reusable techniques;
- unchecked details.