#And
共找到 2752 篇相关文章
智能AI
None
TrajGenAgent:用于生成人类移动轨迹的分层 LLM 代理
arXiv:2606.12657v1 Announce Type: new Abstract: Human mobility data is important for transportation, urban planning, and
2026-06-12
Siyu Li, Toan Tran, Lingyi Zhao, Khurram Shafique, Li Xiong
智能AI
None
Pythagoras-Prover:通过增强精益形式化推进高效的形式证明
arXiv:2606.12594v1 Announce Type: new Abstract: Modern Lean theorem provers achieve strong performance only with substan
2026-06-12
Joshua Ong Jun Leang, Zheng Zhao, Mihaela C\u{a}t\u{a}lina Stoian, Qiyuan Xu, Haonan Li, Wenda Li, Shay B. Cohen, Eleonora Giunchiglia