works on

From the 1 of 26 linked papers with an AI index.

activity
20242026
collaborators
Showing cs.AIShow all

5 papers · 1 filter

cs.AI2026

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…

cs.AI2026

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…

cs.AI2026

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…

cs.AI2025

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…

cs.AI2025

Enabling Small Models for Zero-Shot Selection and Reuse through Model Label Learning

Jia Zhang, Zhi Zhou, Lan-Zhe Guo +1

Vision-language models (VLMs) like CLIP have demonstrated impressive zero-shot ability in image classification tasks by aligning text and images but suffer inferior performance com…