Jiaqi Li

Grounding LLM Reasoning under Incomplete Graph Evidence

A theoretical perspective on grounding observable LLM trajectories under incomplete graph evidence is developed and it is shown that, under open-world incompleteness, no hard rule based only on the observed state can both reject every false unsupported trajectory and retain every true-but-unobserved one.