Weichun Shi

Weichun Shi

Hangzhou Institute for Advanced Study, UCAS

I am a Master’s candidate at the Hangzhou Institute for Advanced Study, University of Chinese Academy of Sciences (HIAS-UCAS), expecting to graduate in May 2027. My research focuses on Large Language Model (LLM) inference, Retrieval-Augmented Generation (RAG), and constraint solving, with one paper published at the conference EMNLP.

My achievements include winning First Prize in both the Global and National Finals of the Huawei ICT Competition. As a key member in algorithm competitions, I have also secured Silver and Bronze medals in ACM-ICPC Regional Contests, a National First Prize in RoboCom (Top 0.5%), a National First Prize in the Lanqiao Cup (Top 2%), and a National Second Prize in the China Collegiate Computing Contest (CCCC).

I am familiar with Python, C/C++, Java, and Bash, skilled with macOS/Linux, Git, PyTorch, and Docker, and familiar with technologies in Large Language Models, AI Agents, and Natural Language Processing (NLP).

📝 论文专利

ConstraintLLM
sym
  • Weichun Shi, Minghao Liu, Wanting Zhang, Langchen Shi, Fuqi Jia, Feifei Ma†, Jian Zhang†.

ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming.

Conference on Empirical Methods in Natural Language Processing (EMNLP), 2025

–>

中文

专利

🏅 荣誉奖项

  • 2025.05 Huawei ICT Competition, Global Final First Prize[News]
  • 2025.04 Huawei ICT Competition, China National Contest National First Prize
  • 2023.05 RoboCom Robot Developer Contest (Programming Track) National First Prize
  • 2023.05 China Collegiate Computing Contest (CCCC - Team Programming Ladder Tournament) National Second Prize
  • 2022.09 Selected for the Metaverse Research Project at Nanyang Technological University (NTU), Singapore Full Scholarship
  • 2022.06 The 3rd National Collegiate Algorithm Design and Programming Challenge Silver Medal
  • 2022.05 2022 China Collegiate Programming Contest (CCPC), Jiangsu Site Silver Medal
  • 2021.09 Awarded as Outstanding Student Cadre of the University
    • Led a team of 10 to organize multiple campus-level programming contests and computer literacy events.
    • Initiated and taught an algorithm lecture series during the summer, receiving unanimous praise from faculty and students.
  • 2021.05 The 12th Lanqiao Cup National Finals (C/C++ Category) National First Prize
  • 2021.05 The 45th International Collegiate Programming Contest (ICPC) Asia Regional Contest Bronze Medal
    • The first medal for the university in this field.

🏛️ 学术会议

💻 工作实习