formalization-check

What problem does it solve?

Researchers often receive papers or drafts lacking clear mathematical definitions, making it hard to assess rigor, compare approaches, or build upon the work. This Skill evaluates whether a problem is formally defined, extracts its mathematical framework, and checks claimed properties.

Core Features & Use Cases

• Classifies the formalization level of a problem statement (formal_math, semi_formal, prose_only, absent).
• Identifies the underlying framework (e.g., MDP, POMDP, Bayesian) and extracts objectives, decision variables, constraints, and information structure.
• Optionally verifies mathematical properties such as convexity using a SymPy verification script.
• Searches recent literature for alternative formalizations of similar problems to provide context.
• Generates a structured JSON record summarizing the assessment for downstream pipelines.

Quick Start

Ask the formalization-check skill to evaluate the problem statement in arXiv:2501.12345 and report its formalization level and framework.