symbolic_abstract
Replace concrete terms in an expression with abstract symbols to enable logical reasoning, simplification, or proof generation. Provide the raw expression, optional mapping hints, and goal to get a reversible symbol table.
Instructions
Convert a concrete expression into abstract variables for reasoning.
Args:
expression: The raw text or equation to abstract.
mapping_hint: Optional guidance for token-to-symbol mapping.
goal: Optional downstream task (e.g., simplify, prove, generalize).
Returns:
Structured prompt that maps tokens to symbols, restates the problem
abstractly, and provides a reversible mapping table.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| expression | Yes | ||
| mapping_hint | No | ||
| goal | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |