Dense Neuro-Symbolic Reasoning in a Unified Geometry State

Excerpt

arXiv:2610.04280v1 Announce Type: new Abstract: Geometry reasoning is naturally stateful: solving a problem repeatedly alternates between structural proposals and exact deductions. We formulate this process as dense neural-symbolic coupling, in which neural guidance and symbolic execution share a typed state and communicate through executable actions at every search step. Neural proposals contribute theorem instances, constructions, and algebraic bridges; the symbolic runtime applies registered