From the 1 of 9 linked papers with an AI index.
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
NeSy-Route is a large-scale neuro‑symbolic benchmark that provides automatically generated, constrained route‑planning tasks for remote‑sensing images, together with optimal soluti…
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…