5 citations · 6 across the 15 of their papers we have counts for
Showing 2026 · cs.AIShow all
2 papers · 2 filters
cs.AI2026
Dense Neuro-Symbolic Reasoning in a Unified Geometry State
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…
cs.AI2026
FormalAnalyticGeo: A Neural-Symbolic Based Framework for Multimodal Analytic Geometry Problem Generation
Ruoran Xu, Wending Gao, Xiaoqing Kang +1
Math reasoning has achieved significant progress with the rapid advancement of Multimodal Large Language Models (MLLMs), however analytic geometry remains largely underexplored, pr…