B.Eng. in Software Engineering, 2024
Huazhong University of Science and Technology
M.Eng. in Mechanical Engineering, 2027
Peking University
We introduce Self-Constrained Reasoning, a novel approach that embeds an LTL-specific synchronous grammar into hierarchical reinforcement learning, enabling LLM-based task specification while preserving formal validity and generalization.