HerAgent2026HerAgent: Rethinking the Automated Environment Deployment via Hierarchical Test PyramidXiang Li, Siyu Lu, Federica Sarro, Claire Le Goues, He YearXiv preprint
VULSOL-VER2025VULSOLVER: Vulnerability Detection via LLM-Driven Constraint SolvingXiang Li, Yueci Su, Jiahao Liu, Zhiwei Lin, Yuebing Hou, Peiming Gao, Yuanchao ZhangarXiv preprint
EfficientBottom-Up2023Efficient Bottom-Up Synthesis for Programs with Local VariablesXiang Li, Xiangyu Zhou, Rui Dong, Yihong Zhang, Xinyu WangarXiv preprint