Awards
Selected honors and awards.
1st Workshop on VLM4RWD @ NeurIPS 2025
Awarded to the paper VisAidMath: Benchmarking Visual-Aided Mathematical Reasoning.
ICML 2026 Workshop AI4Math
Awarded to the paper FIPO-Prover: Formalization-Oriented Informal Proof Optimization for Efficient Formal Theorem Proving.
Pan-Pearl River Delta University Student Computer Works Competition Finals
Received first prize in the finals competition.
10th Gongxiangbei Science and Technology Resource Sharing Service Innovation Competition
Received third prize in the national innovation competition.
IES The Undergraduate Project Contest
Won first prize for undergraduate project work.
IEEE Macau Student Branch Project Competition
Received third prize in the student branch project competition.
Faculty of Science and Technology Dean's List
Recognized on the Dean's Final Year Project List.