يعرض 1 - 10 نتائج من 376 نتيجة بحث عن '"Xiong, Yingfei"', وقت الاستعلام: 1.14s تنقيح النتائج
  1. 1
    تقرير
    M2CVD: Multi-Model Collaboration for Code Vulnerability Detection

    المؤلفون: Wang, Ziliang, Li, Ge, Li, Jia, Xiong, Yingfei, Jin, Zhi

    مصطلحات موضوعية: Computer Science - Software Engineering

    الوصول الحر: http://arxiv.org/abs/2406.05940Test

    View record in Arxiv

    أضف إلى المفضلة
  2. 2
    تقرير
    Proving Functional Program Equivalence via Directed Lemma Synthesis

    المؤلفون: Sun, Yican, Ji, Ruyi, Fang, Jian, Jiang, Xuanlin, Chen, Mingshuai, Xiong, Yingfei

    مصطلحات موضوعية: Computer Science - Programming Languages

    الوصول الحر: http://arxiv.org/abs/2405.11535Test

    View record in Arxiv

    أضف إلى المفضلة
  3. 3
    تقرير
    DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence

    المؤلفون: Guo, Daya, Zhu, Qihao, Yang, Dejian, Xie, Zhenda, Dong, Kai, Zhang, Wentao, Chen, Guanting, Bi, Xiao, Wu, Y., Li, Y. K., Luo, Fuli, Xiong, Yingfei, Liang, Wenfeng

    مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Computation and Language, Computer Science - Machine Learning

    الوصول الحر: http://arxiv.org/abs/2401.14196Test

    View record in Arxiv

    أضف إلى المفضلة
  4. 4
    تقرير
    OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability

    المؤلفون: Zhang, Wenjie, Wang, Guancheng, Chen, Junjie, Xiong, Yingfei, Liu, Yong, Zhang, Lu

    مصطلحات موضوعية: Computer Science - Software Engineering

    الوصول الحر: http://arxiv.org/abs/2309.06771Test

    View record in Arxiv

    أضف إلى المفضلة
  5. 5
    تقرير
    Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling

    المؤلفون: Xiao, Yuan-An, Yang, Chenyang, Wang, Bo, Xiong, Yingfei

    المصدر: IEEE Transactions on Software Engineering, vol. 50, no. 3, pp. 618-635, March 2024

    مصطلحات موضوعية: Computer Science - Software Engineering

    الوصول الحر: http://arxiv.org/abs/2305.03955Test

    View record in Arxiv

    أضف إلى المفضلة
  6. 6
    تقرير
    Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects

    المؤلفون: Li, Linyi, Zhang, Yuhao, Ren, Luyao, Xiong, Yingfei, Xie, Tao

    مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Machine Learning, Computer Science - Programming Languages

    الوصول الحر: http://arxiv.org/abs/2302.06086Test

    View record in Arxiv

    أضف إلى المفضلة
  7. 7
    تقرير
    Effective Random Test Generation for Deep Learning Compilers

    المؤلفون: Ren, Luyao, Wang, ZiHeng, Xiong, Yingfei, Zhang, Li, Jiang, Guoyue, Xie, Tao

    مصطلحات موضوعية: Computer Science - Software Engineering

    الوصول الحر: http://arxiv.org/abs/2302.00842Test

    View record in Arxiv

    أضف إلى المفضلة
  8. 8
    تقرير
    Automating Thinning Theorem: Synthesizing Efficient Dynamic Programming Algorithms

    المؤلفون: Ji, Ruyi, Zhu, Tianran, Xiong, Yingfei, Hu, Zhenjiang

    مصطلحات موضوعية: Computer Science - Programming Languages

    الوصول الحر: http://arxiv.org/abs/2202.12208Test

    View record in Arxiv

    أضف إلى المفضلة
  9. 9
    تقرير
    Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms

    المؤلفون: Ji, Ruyi, Zhao, Yuwei, Xiong, Yingfei, Wang, Di, Zhang, Lu, Hu, Zhenjiang

    مصطلحات موضوعية: Computer Science - Programming Languages

    الوصول الحر: http://arxiv.org/abs/2202.12193Test

    View record in Arxiv

    أضف إلى المفضلة
  10. 10
    تقرير
    Lyra: A Benchmark for Turducken-Style Code Generation

    المؤلفون: Liang, Qingyuan, Sun, Zeyu, Zhu, Qihao, Zhang, Wenjie, Yu, Lian, Xiong, Yingfei, Zhang, Lu

    مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Artificial Intelligence

    الوصول الحر: http://arxiv.org/abs/2108.12144Test

    View record in Arxiv

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS — أرسل هذا البحث بالبريد الإلكتروني — حفظ البحث