SymboUQ: Symbolic Uncertainty Quantification for Spatial Reasoning in LLMs
arXiv:2608.00417v2 Announce Type: replace Abstract: Although large language models (LLMs) can produce fluent spatial reasoning traces, their intermediate relations may fail to support the final conclu