Authors

Qiufeng Wang

Publications 2

Preprint Open access

Dense Neuro-Symbolic Reasoning in a Unified Geometry State

Ruoran Xu, Wending Gao, Haoyu Cheng et al. · 2026

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 …

Co-authors