Welcome to the home page for the lab of Ning Miao. Our group focuses in the field of machine reasoning (LLM reasoning, AI4Math) and generative models. We are based at the Department of Data Science and Hong Kong Institute of AI for Science, City University of Hong Kong.
Highlights
Publications
A great way to learn about our work is to see what we’ve published. Browse or search our full list of publications here.
Our Team
Our lab brings together a talented group of graduate students and research assistants with strong foundations in Computer Science and Data Science. Meet the team!