2026 Humanoids SAVIOR: State-guided Augmented Verification for Iterative Observation Rollouts for Long-Horizon Video Generation in Robotic Manipulation Cuong VD, Khoa LDD, Sen TK, Vuong Chi Hao, and 5 more authors In IEEE-RAS International Conference on Humanoid Robots (Humanoids), 2026 HTML 2025 ACCV Hier-SLAM++: Neuro-Symbolic Semantic SLAM with a Hierarchically Categorical Gaussian Splatting Boying Li, Vuong Chi Hao, Peter J. Stuckey, and 2 more authors In Asian Conference on Computer Vision (ACCV), 2025 arXiv HTML