Showing 2026Show all
2 papers · 1 filter
cs.RO2026
H-WM: Robotic Task and Motion Planning Guided by Hierarchical World Model
Jinbang Huang, Wenyuan Chen, Zhiyuan Li +9
World models are becoming central to robotic planning and control as they enable prediction of future state transitions. Existing approaches often emphasize video generation or nat…
cs.AI2026
A Balanced Neuro-Symbolic Approach for Commonsense Abductive Logic
Joseph Cotnareanu, Didier Chetelat, Yingxue Zhang +1
Although Large Language Models (LLMs) have demonstrated impressive formal reasoning abilities, they often break down when problems require complex proof planning. One promising app…