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