My research interests include Robotics and Artificial Intelligence.
B.Eng. in Software Engineering, 2024
Huazhong University of Science and Technology
M.Eng. in Mechanical Engineering, 2027
Peking University
We introduce the AutoDSL framework to automate DSL-based constraint design across various domains.
PDF Cite Code Dataset