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