Tag
This paper proposes an epistemic state graph representation and an order-gap termination criterion for recursive reasoning systems, addressing how to manage evolving reasoning states and when to stop iteration.