Skip to content
View liuchengwucn's full-sized avatar
13 followers · 7 following

Achievements

Achievement: Pull SharkAchievement: StarstruckAchievement: Pair Extraordinaire

Achievements

Achievement: Pull SharkAchievement: StarstruckAchievement: Pair Extraordinaire

Highlights

  • Pro

Block or report liuchengwucn

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
liuchengwucn/README.md

Hi there 👋

  • 🔭 I am studying for a PhD at Peking University.
  • 🌱 I'm very interested in research related to LLM and AI.
  • 📫 How to reach me: liuchengwu@pku.edu.cn

Popular repositories Loading

  1. FIMO FIMO Public

    Lean 37 3

  2. Safe Safe Public

    (ACL 2025 Main) Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification - Official Implementation & Dataset

    Python 20 4

  3. Aegisub Aegisub Public

    Forked from TypesettingTools/Aegisub

    Cross-platform advanced subtitle editor

    C++ 14 1

  4. picx picx Public

    TypeScript 4

  5. kataoto kataoto Public

    Python 2

  6. zh.javascript.info zh.javascript.info Public

    Forked from javascript-tutorial/zh.javascript.info

    现代 JavaScript 教程（The Modern JavaScript Tutorial）

    HTML