21 citations · 30 across the 19 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2025
AutoGPS: Automated Geometry Problem Solving via Multimodal Formalization and Deductive Reasoning
Bowen Ping, Minnan Luo, Zhuohang Dang +2
Geometry problem solving presents distinctive challenges in artificial intelligence, requiring exceptional multimodal comprehension and rigorous mathematical reasoning capabilities…
cs.AI2025★ 1 cited
PhysReason: A Comprehensive Benchmark towards Physics-Based Reasoning
Xinyu Zhang, Yuxuan Dong, Yanrui Wu +6
Large language models demonstrate remarkable capabilities across various domains, especially mathematics and logic reasoning. However, current evaluations overlook physics-based re…
cs.AI2024
AgentStore: Scalable Integration of Heterogeneous Agents As Specialized Generalist Computer Assistant
Chengyou Jia, Minnan Luo, Zhuohang Dang +5
Digital agents capable of automating complex computer tasks have attracted considerable attention due to their immense potential to enhance human-computer interaction. However, exi…