Adam (Xinmiao) Huang

I am a second-year PhD student in the School of Computer Science and Informatics at the University of Liverpool, advised by Prof. Xiaowei Huang and Dr. Yi Dong.

My research focuses on trustworthy AI systems, especially neuro-symbolic reasoning, spatial reasoning in large multimodal models, runtime monitoring for LLM agents, and formal safety verification for learning-enabled robotics.

Outside of research, I enjoy going to the gym, football, and 3D printing.

Adam Xinmiao Huang

News

  • 2026.06: Paper accepted at IROS 2026.
  • 2026.04: Two papers accepted at ACL 2026. Congratulations to all co-authors.
  • 2026.01: Paper accepted at ICLR 2026.
  • 2024.12: Gave a tutorial session about Neural Symbolic AI at TACPS & Trust-AI Reading Group.
  • 2024.10: Started my PhD at the University of Liverpool under Prof. Xiaowei Huang and Dr. Yi Dong.
  • 2023.12: Graduated from University of Bristol MSc Robotics with Distinction.

Selected Works

Safety-Constrained Reinforcement Learning with Post-Training Reachability Verification for Robot Navigation

Qisong He, Xinmiao Huang, Jinwei Hu, Zhuoyun Li, Yi Dong, Changshun Wu, Xiaowei Huang.

IROS 2026.

PrefixGuard: From LLM-Agent Traces to Online Failure-Warning Monitors

Xinmiao Huang, Jinwei Hu, Rajarshi Roy, Changshun Wu, Yi Dong, Xiaowei Huang.

arXiv 2026.

Lying with Truths: Open-Channel Multi-Agent Collusion for Belief Manipulation via Generative Montage

Jinwei Hu, Xinmiao Huang, Youcheng Sun, Yi Dong, Xiaowei Huang.

ACL 2026 Oral (Outstanding Paper).

Spatial-DISE: A Unified Benchmark for Evaluating Spatial Reasoning in Vision-Language Models

Xinmiao Huang, Qisong He, Zhenglin Huang, Boxuan Wang, Zhuoyun Li, Guangliang Cheng, Yi Dong, Xiaowei Huang.

ICLR 2026.

3D map construction of coal mine roadway mobile robot based on integrated factor graph optimization

ZOU Xiaoyu, HUANG Xinmiao, WANG Zhongbin, FANG Dongsheng, PAN Jie, SI Lei.

Journal of Mine Automation, 2022.