Hi there! I’m “Ray” Ziyan Luo, a PhD student at Mila, McGill. I’m so lucky to work with (and learn from) Dr. Xujie Si and my talented colleagues in “REAP” group! My research interest mainly lies in the intersection of Reinforcement Learning and Symbolic methods. I’m eager to find a balance point between formal methods (strict and verifiable) and machine learning approaches (more “magical”).