Author

Xin-Yu Gao

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Open access Oct 2026

Steering Tree-of-Thought Reasoning via Deductive Verification

Large language models (LLMs) have demonstrated great potential in code reasoning tasks, but their reasoning processes lack reliable verification mechanisms, making it difficult to ensure logical correctness. The Tree of Thoughts (ToT) framework improves reasoning by exploring multiple paths and employing backtracking,...

Hao-Liang Cheng, En-Yi Tang, Shuo-Xiao Zhang et al. · 0 citations

#software testing Open access Oct 2026

Fuzzing the Boundary between Models and Code in Hybrid AI-Enabled Systems

Deep learning (DL) techniques are increasingly integrated into traditional software systems, giving rise to hybrid AI-enabled systems that combine neural models with program logic. While these systems exhibit remarkable capabilities, their complex and heterogeneous architectures pose significant challenges for reliabil...

Xin-Yu Gao, Yang Feng, Yu-Chen Lu et al. · 0 citations