Scholay

学术搜索 · AI 审稿 · LaTeX 协作

Kexin Pei

发表论文 57 篇 · 总被引 8770 次 · h-index 24

代表论文

  • SWE-bench: Can Language Models Resolve Real-World GitHub Issues? (2023 · International Conference on Learning Representations · 被引 3445)
  • SmartInv: Multimodal Learning for Smart Contract Invariant Inference (2024 · IEEE Symposium on Security and Privacy · 被引 53)
  • Exploiting Code Symmetries for Learning Program Semantics (2023 · International Conference on Machine Learning · 被引 18)
  • Locus: Agentic Predicate Synthesis for Directed Fuzzing (2025 · arXiv.org · 被引 12)
  • Towards More Accurate Static Analysis for Taint-Style Bug Detection in Linux Kernel (2025 · International Conference on Automated Software Engineering · 被引 12)
  • EditLord: Learning Code Transformation Rules for Code Editing (2025 · International Conference on Machine Learning · 被引 9)