Yingfei Xiong

Identifiers

• name variant Yingfei Xiong 0.60 · backfill

Papers (15)

1. Extraction and Search in Rocq: Theorems, Definitions and Their dependencies cs.SE · 2026 · author #2
2. Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover cs.SE · 2026 · author #2
3. A Learning Method for Symbolic Systems Using Large Language Models cs.SE · 2026 · author #3
4. On Reasoning-Centric LLM-based Automated Theorem Proving cs.SE · 2026 · author #4
5. Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis cs.SE · 2026 · author #5
6. SemOpt: LLM-Driven Code Optimization via Rule-Based Analysis cs.SE · 2025 · author #5
7. DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence cs.SE · 2024 · author #12
8. A Grammar-Based Structural CNN Decoder for Code Generation cs.LG · 2018 · author #4
9. Automatic Clone Recommendation for Refactoring Based on the Present and the Past cs.SE · 2018 · author #4
10. An Empirical Study of Fault Localization Families and Their Combinations cs.SE · 2018 · author #3
11. Learning to Synthesize cs.SE · 2018 · author #1
12. Identifying Patch Correctness in Test-Based Program Repair cs.SE · 2017 · author #1
13. Can defects be fixed with weak test suites? An analysis of 50 defects from Defects4J cs.SE · 2017 · author #2
14. Faster Mutation Analysis via Equivalence Modulo States cs.SE · 2017 · author #2
15. Precise Condition Synthesis for Program Repair cs.SE · 2016 · author #1

Mentions

• 2510.16384 #5 · arxiv_oai · confidence 0.70 Yingfei Xiong
• 2606.04704 #2 · arxiv_oai · confidence 0.70 Yingfei Xiong
• 2605.26017 #2 · arxiv_oai · confidence 0.70 Yingfei Xiong

Frequent Coauthors

• Lu Zhang 5 shared papers
• Jian Fang 3 shared papers
• Bo Wang 2 shared papers
• Gang Huang 2 shared papers
• Qihao Zhu 2 shared papers
• Zeyu Sun 2 shared papers
• Zhao Zhang 2 shared papers
• Chengwei Shi 1 shared papers
• Daming Zou 1 shared papers
• Dan Hao 1 shared papers
• Daya Guo 1 shared papers
• Dejian Yang 1 shared papers
• Fuli Luo 1 shared papers
• Ge Li 1 shared papers
• Guanting Chen 1 shared papers
• Guirong Fu 1 shared papers
• Hangzhou Lyu 1 shared papers
• Huifeng Sun 1 shared papers
• J. David Morgenthaler 1 shared papers
• Jiachen Zhang 1 shared papers