domains / families / documents / doc2math

doc2math

authentic

Convert narrative technical documents into grounded Mathematical Problem Specifications with variables, constraints, objectives, and uncertainty.

When to use

• "Formalize this problem statement into math"
• "Extract the mathematical structure from this research paper section"
• "What variables, constraints, and objectives are in this spec?"
• "Convert this word problem to a structured MPS"
• "Find what's missing in this problem formulation"

When not to use

• Does not invent missing equations, domains, values, or assumptions that are absent from the source document.
• Requires enough source text to cite every extracted element; sparse prompts should be returned with explicit missing-information markers.
• Produces a formal specification, not a solved optimization model or proof.

Skill page

Source