2025年8月，第34届国际人工智能联合会议IJCAI（International Joint Conference on Artificial Intelligence）在加拿大蒙特利尔和中国广州双城共同举办。大会举行了旅程规划挑战赛（Travel Planning Challenge, TPC@IJCAI25）。经过激烈角逐，皇冠体育 研究生唐易成、冷晓霆、朱嘉宝组成的UrbanTrip团队在阮思捷、王树良、袁汉宁老师的指导下，在众多参赛团队中脱颖而出，获得了领域特定语言赛道（DSL Track）冠军。
IJCAI是人工智能领域最具影响力的顶级学术会议之一，始创于1969年，每年举办一次，属于中国计算机学会A类会议，旅程规划挑战赛是大会的重要组成部分。
本挑战赛聚焦于旅行规划中的核心难题：如何在复杂的用户需求下生成既合理又高效的完整行程，其中领域特定语言赛道特别强调神经符号方法的应用。北理工团队在需求形式化与约束驱动的行程生成层面，巧妙设计出基于领域特定语言的约束提取方法以及基于约束验证的搜索方法，能够精准解析并满足用户的偏好约束，并确保规划旅程在预算、时间和可行性等方面严格满足要求。该方法在约束契合度与泛化性方面展现出了卓越的性能。
本次比赛是北理工时空数据智能实验室在2024年获得中国测绘学会主办的全国大学生空间信息技术大赛特等奖后，再一次在时空数据挖掘方向国内外重要赛事中摘得桂冠。实验室聚焦时空大数据分析挖掘的科学问题，创新关键技术，自主研制系统，释放时空数据要素价值，成果发表在KDD、ICML、ICDE、TKDE、TOIS等国际顶级学术会议/期刊上。