About me
Hi! I am a first-year traditional Master/Ph.D. student in Computer Science at the University of Wisconsin-Madison. I obtained a BSc degree in Data Science and Technology (DSCT) with a double major in Computer Science from the School of Science at the Hong Kong University of Science and Technology (HKUST).
During my undergraduate years, I worked with Prof. Raymond Chi-Wing WONG in Data Mining; Prof. Mrinmaya Sachan in Natural Language Processing (NLP); Prof. Chi-Keung TANG and Prof. Yu-Wing TAI in Computer Vision; Prof. Tong Zhang in Lean4 (formal mathematics).
My ultimate research goal is to make machine learning systems have compatible abilities with humans (of course, everybody wants that); in specific, my research pathway can be formulated as the X2Y system; currently, I am focusing on how to use formal language like Lean to formulate underlying logic of natural language generation.
Education
- Traditional Master/Ph.D. Student in Computer Science, University of Wisconsin-Madison 2024-now
- 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
Publication
[EMNLP 2024 (Main)] TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts
Ruida Wang*, Jipeng Zhang*, Yizhen Jia*, Rui Pan, Shizhe Diao, Renjie Pi, Tong Zhang (* indicates first authors)
[Paper] [Github] [Model Ckpt] [OBT Dataset]
[ICDM 2024] SR-PredictAO: Session-based Recommendation with High-Capability Predictor Add-On
Ruida Wang, Raymong Chi-Wing Wong, Weile Tan
[ECCV 2024] DragVideo: Interactive Drag-style Video Editing
Yufan Deng*, Ruida Wang *, Yuhao Zhang*, Yu-Wing Tai, Chi-Keung Tang (* indicates equal contributions)
[EMNLP 2023 (Findings)] Let’s Synthesize Step by Step: Iterative Dataset Synthesis with Large Language Models by Extrapolating Errors from Small Models
Ruida Wang, Wangchunshu Zhou, Mrinmaya Sachan
