About Me

I am a Ph.D. student supervised by Prof. Leye Wang at the School of Computer Science, Peking University. Prior to this, I completed my bachelor’s degree through the Kang Jichang Honors Program in Computer Science at Northwestern Polytechnical University.

My research interests include Academic Data Management, Data Privacy Protection, and related fields. I am passionate about exploring innovative solutions to challenges in Computer Science, Mathematics, and Physics. Recently, I have also been working on AI Agents and Agent Skill Evaluation, especially on practical benchmarking systems for utility and security.

Education

• 2024 - present: Ph.D. student in Computer Science, Peking University
• 2020 - 2024: B.S. in Computer Science (Kang Jichang Honors Program), Northwestern Polytechnical University

Publications

• SkillFab: An Agent-Native Skill Production Platform
  Anjie Xu, Yifeng Cai, Yi Li, Zixing Wang, Zhiyu Zhang, Jingfan Chen, Ruohan Xu, Leye Wang
  Technical Report, 2026
  Report | skillfab.ai

• SkillTester: Benchmarking Utility and Security of Agent Skills
  Leye Wang, Zixing Wang, Anjie Xu
  arXiv:2603.28815, 2026
  Paper | Code | skilltester.ai

SkillTester is an agent-driven benchmark system for evaluating agent skills from both utility and security perspectives. It compares paired baseline and with-skill executions, preserves raw task-level evidence, and generates structured reports that help users judge whether a skill is useful and safe before adoption.

• ChatPD: An LLM-driven Paper-Dataset Networking System
  Anjie Xu, Ruiqing Ding, Leye Wang
  CCF-A, KDD 2025 Applied Data Science Track
  Paper | Code | Deployed Website | Video

Projects

CLRS-Lean

A Lean 4 formalization project for CLRS-style algorithm correctness proofs, connecting classic algorithm reasoning with machine-checkable proofs.

tanktechnology.github.io/CLRS-Lean

Blog

• 2026-07-23 — 我们如何在 RISC-V 实板上启动 Asterinas

• 2026-07-22 — 当板子沉默时：OS Bringup 的调试方法与工程原则

• 2026-07-22 — 从源码到 riscv_boot：为什么「编译成功」离「内核启动」还有一万个坑

• 2026-07-10 — 从 RAW 到图像: 相机前端的统一数学视角

• 2026-07-10 — 相机如何把光变成数据: 从投影、曝光到神经场的统一数学视角

• 2026-06-21 — 形式化证明 Huffman 最优性：我们的 splitLeaf / 交换论证方法

• 2026-06-14 — From SwiGLU Backward to INT8 Quantization: Notes from a KernelGen Challenge 9 Win

• 2026-06-14 — From Attention to KV Cache Compression: Notes from a KernelGen Optimization

• 2026-06-03 — How I Design Claude Code Skills

• 2026-06-03 — How to Build AI Agents: Lessons from Five Projects

• 2026-06-02 — A Single-Molecule Bound on Cryptochrome Radical Pair Compass Sensitivity and Its Implications for Avian Magnetoreception

• 2026-05-28 — Docker Socket Exists but Connection Is Refused: Debugging a snap + apt Double Installation

• 2026-05-20 — Design Dimensions for Research Infrastructure

• 2026-05-19 — Rust Concurrency Notes (3): Elegant Fixes for Five Real Bugs

• 2026-05-19 — Rust Concurrency Notes (2): Threads, Locks, Channels, and Concurrency Control

• 2026-05-19 — Rust Concurrency Notes (1): Ownership, Types, and Errors

• 2026-05-02 — From Agent Mania to Research Automation: AI Breaking Through the Frontiers of Knowledge

• 2026-01-20 — After Vibe Code, Vibe Clean: Turning ‘It Runs’ Back Into ‘I Understand’

• 2025-03-29 — OSTEP Memory Virtualization Notes

Awards

• 2024, Outstanding Graduate Student, Northwestern Polytechnical University (西北工业大学优秀毕业生)
• 2023, National Special Prize (University Group), CCF Sinan Cup Quantum Computing Competition (CCF量子计算司南杯全国高校组特等奖)

Experience

• Teaching Assistant of AI Agent Programming Practice by Dr. Bojie Li (Co-Founder & Chief Scientist of Pine AI), Zhongguancun Academy (Course Homepage), 2025 Summer
• Teaching Assistant of Data Structures and Algorithms (A) by Prof. Leye Wang, Peking University, 2024 Fall
• Quantitative Trading Intern, MetaLight Inc., Oct 2023 – Jun 2024
  Built and optimized quantitative trading algorithms for power trading systems

Skills

• Programming Languages: Rust, Python, C++
• I also have some experience with Operating Systems.

Hobbies

Outside of my academic work, I enjoy reading, writing short articles to share my thoughts, and watching anime such as K-On! (轻音少女) and Pretty Derby (赛马娘).