1 paper · 1 filter
Ruoran Xu, Wending Gao, Haoyu Cheng +2
Geometry reasoning is naturally stateful: solving a problem repeatedly alternates between structural proposals and exact deductions. We formulate this process as dense neural-symbo…