港中深联合 ASTAR 推出 LOGIV 框架,依托图工程解决机器人长任务、打造可靠具身智能

香港中文大学(深圳)联合新加坡 ASTAR 等研究团队推出 LOGIV,全称 Graph-Verified Execution with Causal Local Repair,这套基