Huixing Fang obtained his Ph.D. from East China Normal University in 2016. At present, he serves as a Lecturer at Huangshan University. His research mainly focuses on two core directions: natural language processing and formal methods. He devotes himself to exploring the integration of formal methods and natural language models.