5 citations · 6 across the 15 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
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…
cs.AI2025
OmniVideoBench: Towards Audio-Visual Understanding Evaluation for Omni MLLMs
Caorui Li, Yu Chen, Yiyan Ji +40
Recent advances in multimodal large language models (MLLMs) have demonstrated substantial potential in video understanding. However, existing benchmarks fail to comprehensively eva…