2 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…