CV

Education

• Ph.D. Student in Computer Science, University of Illinois Urbana-Champaign 2025-now
• Ph.D. Student in Computer Science, University of Wisconsin-Madison 2024-2025 (transferred to UIUC)
• BSc in Data Science and Technology, double major in Computer Science, Hong Kong University of Science and Technology (HKUST), 2020-2024
• Exchange student at ETH Zurich 2023, Spring

Work experience

• Summer 2022: Tencent APEX Mobile game producer intern

Publications

MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving

SR-PredictAO: Session-based Recommendation with High-Capability Predictor Add-On

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts

DragVideo: Interactive Drag-style Video Editing

Let’s Synthesize Step by Step: Iterative Dataset Synthesis with Large Language Models by Extrapolating Errors from Small Models