👋 Hi there! I'm Zhouliang (郁昼亮), an PhD student at the Scalable Principles for Learning and Reasoning Lab (SphereLab) of the Chinese University of Hong Kong, in the Computer Science & Engineering department, advised by Prof. Weiyang Liu, working on reinforcement learning for formal reasoning.
Previously, I spent a wonderful year at HKGAI, HKUST, as a PhD student advised by Prof. Yike Guo. Before that, I received my bachelor's degree from the Chinese University of Hong Kong, Shenzhen.
🎯 Research Focus
During the long-term future (maybe 2024-2027), I will be (almost) entirely focused on exploration-based reinforcement learning for formal mathematics reasoning via (agentic) large language models. Despite not being my major research focus, I am actively learning RL infrastructure to support Large Model Training.
🌍 Other broader interests include their applications in model-based embodied AI and scientific discovery via formal verification (e.g., Scientist AI, PhysLean, however, I have not yet published in this domain).
📧 Contact Me：My Email