按时间倒序排列。用上方导航或分类/标签可以按主题浏览。
Large Language Models as Falsifiers for Cyber-Physical Systems
Falsification searches for counterexamples to formal specifications in cyber-physical systems (CPS). With specifications
按时间倒序排列。用上方导航或分类/标签可以按主题浏览。
Falsification searches for counterexamples to formal specifications in cyber-physical systems (CPS). With specifications
World Action Models (WAMs) improve robot policy learning by incorporating future dynamics, yet explicitly generating fut
This paper presents a real-time semantic world modeling framework specialized for precision agriculture using autonomous
Referring scene understanding for embodied robots requires grounding object- and relation-centric language queries from
Full-consensus rates are often treated as indicators of collective cognition, yet depend on how participation and final
A popular selling point of diffusion large language models (dLLMs) is their capacity for parallelism: the ability to gen
Blind and low-vision users often need to locate a specific personal object rather than an arbitrary instance of the same
一家做无人车的公司,为什么需要一万多张GPU? 9月10日,九识CEO孔旗在广州宣布战略升级为“城市级物理AI”。一周后的9月17日,CTO庄立首次披露支撑这次升级的底层能力:九识已建成业内首个L4级万卡集群,算力集群总规模近1.5万卡。九
Large language models (LLMs) are typically evaluated on static benchmarks, even though natural language constantly evolv
State-of-the-art Text-to-SQL systems are typically multi-agent pipelines centered around two fundamental tasks: schema l
输入关键词开始搜索