Yu Pei
Identifiers
- name variant Yu Pei 0.60 · backfill
Papers (7)
- AMix-1: A Pathway to Test-Time Scalable Protein Foundation Model q-bio.BM · 2025 · author #7
- Ranking Plausible Patches by Historic Feature Frequencies cs.SE · 2024 · author #3
- Analytic integrability of two lopsided systems math.DS · 2015 · author #2
- Automated Fixing of Programs with Contracts cs.SE · 2014 · author #1
- What Good Are Strong Specifications? cs.SE · 2012 · author #3
- Stateful Testing: Finding More Errors in Code and Contracts cs.SE · 2011 · author #4
- Code-based Automated Program Fixing cs.SE · 2011 · author #1
Mentions
- 2507.08920 #7 · arxiv_oai · confidence 0.70 Yu Pei
- 1506.01576 #2 · backfill · confidence 0.70 Yu Pei
- 1403.1117 #1 · backfill · confidence 0.70 Yu Pei
- 1208.3337 #3 · backfill · confidence 0.70 Yu Pei
- 1108.1068 #4 · backfill · confidence 0.70 Yu Pei
- 1102.1059 #1 · backfill · confidence 0.70 Yu Pei
Frequent Coauthors
- Carlo A. Furia 5 shared papers
- Bertrand Meyer 4 shared papers
- Yi Wei 4 shared papers
- Martin Nordio 3 shared papers
- Abhishek Tiwari 1 shared papers
- Alexander Horton 1 shared papers
- Andreas Zeller 1 shared papers
- Bowen Zhou 1 shared papers
- Changze Lv 1 shared papers
- Chaochen Gao 1 shared papers
- Deyi Xiong 1 shared papers
- Dongyu Xue 1 shared papers
- Hannes Roth 1 shared papers
- Hao Wang 1 shared papers
- Hao Zhou 1 shared papers
- Jiakai Hu 1 shared papers
- Jiangtao Feng 1 shared papers
- Jiang Zhou 1 shared papers
- Jingjing Gong 1 shared papers
- Lei Bai 1 shared papers