Reuse the same variable names when the refined subgoal is intended to ground the same variable

Keep unresolved variables explicit as (x:type), (y:type), etc

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

representative citing papers

Goal-Oriented Reasoning for RAG-based Memory in Conversational Agentic LLM Systems

cs.AI · 2026-05-12

citing papers explorer

Showing 1 of 1 citing paper.

Goal-Oriented Reasoning for RAG-based Memory in Conversational Agentic LLM Systems cs.AI · 2026-05-12 · unreviewed · ref 55