Weiyang Liu

Assistant Professor at The Chinese University of Hong Kong

Weiyang Liu is currently an Assistant Professor of Computer Science and Engineering at The Chinese University of Hong Kong. He did his postdoc at the Max Planck Institute for Intelligent Systems, Tübingen, Germany. He has received a PhD in machine learning from University of Cambridge and a PhD in Computer Science from Georgia Institute of Technology. His works have received 2023 IEEE Signal Processing Society Best Paper Award.

Talk

Title: Towards Formal Reasoning with Large Language Models

Abstract: Large Language Models (LLMs) have demonstrated remarkable capabilities in natural language understanding, program synthesis, and problem solving. However, their reasoning processes often lack transparency, rigor, and guarantees of correctness, which are key requirements for domains demanding formal reliability. In this talk, I will present recent advances in formal reasoning with LLMs, highlighting their applications to theorem proving in Lean4 and to symbolic graphics programs for visual understanding and synthesis.