Hi! I am a senior undergraduate student in Computer Science at the Hong Kong University of Science and Technology (HKUST). My research interest includes large language models, natural language processing and trustworthy machine learning. I am currently working on Formal Language for LLM reasoning and continual learning. I would be excited to explore any potential collaborations. Please feel free to reach out if you have any relevant opportunities or ideas for collaboration.

Education

• Bachelor of Engineering in Computer Science, Hong Kong University of Science and Technology (HKUST), 2022-2026(expected)

Selected Research project

[ICLR 2026] Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4 [Paper] [Github]

Yuxin Li*, Minghao Liu*, Ruida Wang*, Wenzhao Ji, Zhitao He, Rui Pan, Junming Huang, Tong Zhang, Yi R. (May) Fung (* indicates first authors)

[EMNLP 2025] Let’s Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM’s Math Capability [Paper]

Ruida Wang*, Yuxin Li*, Yi R. (May) Fung, Tong Zhang (* indicates first authors)

[ICML 2025] MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving [Website] [Paper] [Github]

Ruida Wang*, Rui Pan*, Yuxin Li*, Jipeng Zhang, Yizhen Jia, Shizhe Diao, Renjie Pi, Junjie Hu, Tong Zhang (* indicates first authors)

Skills

• Python, Java, C++, LaTeX, RISC-V

Courses

• Mathmetics & physics: Calculus, Multivariable Calculus, Linear Algebra, Applied Statistics, Probability, Discrete Mathematical Tools for Computer Science, General Physics with Calculus.
• Computer Science: Large Language Model, Machine Learning, Large-Scale Machine Learning for Foundation Models, Fundamentals of Artificial Intelligence, Programming with C++, Object-Oriented Programming and Data Structures, Design and Analysis of Algorithms, Cryptography, Computer Architecture, Operating System, Exploring and Visualizing Data.
• Applied Mathmetics & Computer Science: Fundamentals of Actuarial Mathematics, Introduction to Electro-Robot Design, Electronic and Information Technology, Introduction of Industrial Engineering and Decision Analytics.