3 papers
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
PhysElite: How Far Are LLMs from Solving Olympiad-Level Physics Problems?
Ruoran Xu, Wending Gao, Liyunfeng Chen +5
Understanding how (multimodal) large language models perform on physics problems requires benchmarks that reflect the difficulty and breadth of expert-level physical reasoning. Exi…
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…