About

Hello there! I am Xijia Tao (Ciel, or 陶熙佳), a final year undergraduate majoring in Computer Science (CS) at the University of Hong Kong. Currently, I am a research assistant working in HKU NLP Group. I am grateful for receiving supervision from Prof. Lingpeng Kong.

My recent endeavour is NLP, more specifically the applications of large language models (LLMs). I am working on AI4Math for my final year project, specifically building LLM tools for formal theorem proving. In addition, I have worked on the safety issues of vision-language models (VLMs) and am planning to continue research efforts in other aspects of VLMs.

Last summer, I have done an internship at Huawei, HKSTP, with a focus of surveying and reproducing popular VLMs and general AIGC models. In the past, I have taken up the role of research assistant in other labs at the university. As an intern from the summer internship scheme organized by the CS department, I conducted research in physics simulation within the computer graphics lab. In addition, I have provided programming assistance to non-CS labs.