Headshot of Xin Li

Xin Li (李鑫)

Ph.D. Student, Nanyang Technological University

About Me

I am a Ph.D. student at Nanyang Technological University (NTU), advised by Prof. Chau Yuen. My research focuses on large language models and agent frameworks, with an emphasis on automating mathematically rigorous tasks in wireless system design, robotic perception & SLAM, and AI-driven engineering workflows.

I received my Master of Engineering from Peking University and my Bachelor's degree from Northeastern University, China.

Recent News

Selected Publications

(* indicates equal contribution. For a full list, please see my Google Scholar ⤻.)

Re:Form—Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs

C. Yan*, F. Che*, X. Huang*, X. Xu*, Xin Li*, Y. Li*, X. Qu*, et al,

Technical Report, 2025

arXiv ⤻ Code ⤻

WirelessMathBench: A Mathematical Modeling Benchmark for LLMs in Wireless Communications

Xin Li, M. Liu, L. Wei, J. An, M. Debbah, C. Yuen

Findings of ACL, 2025

Project Homepage ⤻

Onboard Terrain Classification via Stacked Intelligent Metasurface-Diffractive Deep Neural Networks from SAR Level-0 Raw Data

M. Liu, Xin Li, J. An, C. Yuen

ICLR ML4RS Workshop, 2025

Project Homepage ⤻

TransPathNet: A Two-Stage Framework for Indoor Radio Map Prediction

Xin Li, R. Liu, S. Xu, S. G. Razul, C. Yuen

ICASSP, 2025

Project Homepage ⤻ Code ⤻

Co-planar Parametrization for Stereo-SLAM and Visual-Inertial Odometry

Xin Li*, Y. Li*, E. P. Örnek, J. Lin, F. Tombari

IEEE Robotics and Automation Letters (RA-L), 2020

arXiv ⤻ Code ⤻

Leveraging Planar Regularities for Point-Line Visual-Inertial Odometry

Xin Li*, Y. He*, J. Lin, X. Liu

IROS, 2020

arXiv ⤻ Code ⤻

Experience

  • Research Assistant @ NTU Singapore (Apr 2024 - Jan 2025) Supervised by Prof. Chau Yuen, IEEE Fellow
  • SLAM Algorithm Engineer @ Gausium Robotics, Singapore (Mar 2022 - Feb 2024)
  • Research Intern @ Microsoft Research Asia, Beijing (Sep 2020 - Mar 2021) Supervised by Dr. Yang Liu and Dr. Yizhong Zhang
  • Research Intern @ MEGVII, Beijing (Feb 2019 - Mar 2020) Supervised by Dr. Yijia He

Education

  • Ph.D. in Computer Science, Nanyang Technological University (2025 - Present) NTU Singapore. Supervised by Prof. Chau Yuen, IEEE Fellow.
  • M.E. in Software Engineering, Peking University (2018 - 2021) Peking University. Supervised by Prof. Jinlong Lin.
  • B.E. in Software Engineering, Northeastern University, China (2014 - 2018)

Professional Activities & Awards

  • Conference Reviewer: NeurIPS (2024-25), ICLR (2025), ICML (2025), SIGGRAPH (2025), AAAI (2025), AISTATS (2025), ICRA (2022-25), IROS (2021-25)
  • Journal Reviewer: IEEE RA-L, ACM TOG
  • Workshop Organizer: AIR4D@IROS 2025
  • Award: NTU Research Scholarship
  • Award: 4th Place, ICASSP 2025 Indoor Pathloss Challenge