2 citations · 2 across the 4 of their papers we have counts for
4 papers · 1 filter
Self-Evolving Neuro-Symbolic Skills for Tool-Augmented Spatial Reasoning
Shi-Yu Tian, Zhuo-Xia Wang, Xuan-Yi Zhu +6
Large vision-language models have achieved strong performance in multimodal reasoning, but they remain unreliable on fine-grained spatial tasks that demand both precise spatial per…
NeSy-Route: A Neuro-Symbolic Benchmark for Constrained Route Planning in Remote Sensing
Ming Yang, Zhi Zhou, Shi-Yu Tian +3
Remote sensing underpins crucial applications such as disaster relief and ecological field surveys, where systems must understand complex scenes and constraints and make reliable d…
TabularMath: Understanding Math Reasoning over Tables with Large Language Models
Shi-Yu Tian, Zhi Zhou, Wei Dong +5
Mathematical reasoning has long been a key benchmark for evaluating large language models. Although substantial progress has been made on math word problems, the need for reasoning…
VCSearch: Bridging the Gap Between Well-Defined and Ill-Defined Problems in Mathematical Reasoning
Shi-Yu Tian, Zhi Zhou, Kun-Yang Yu +4
Large language models (LLMs) have demonstrated impressive performance on reasoning tasks, including mathematical reasoning. However, the current evaluation mostly focuses on carefu…