Author

Xiangyu Gao

View on Semantic Scholar

1 paper 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.

Preprint Aug 2026

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction

SimP is a program reduction framework that combines traditional reduction with LLM-based syntax- and semantic-guided reduction, and synergistically combines rule-based and LLM-based reduction stages to optimize the reduction performance.

Yewei Xiong, Xiangyu Gao, Qiaochu Chen et al. · 0 citations