Welcome!

PhD student in Computer Engineering at Boston University, advised by Prof. Wenchao Li. My research develops machine learning methods grounded in formal reasoning — combining formal methods, reinforcement learning, and neurosymbolic AI to build systems that learn and generalize with structural guarantees.

Links:   Curriculum Vitae  ·  Google Scholar

Selected Publications

• Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning — ICML 2026  [arXiv]
• Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence — ICML 2025  [WebPage] [arXiv]
• One Subgoal at a Time: Zero-Shot Generalization to Arbitrary LTL Requirements in Multi-Task RL — NeurIPS 2025  [WebPage] [OpenReview]
• Field Teams Coordination for Earthquake-Damaged Distribution System Energization — Reliability Engineering & System Safety 2024  [ScienceDirect]