Published in Journal of Software, 2025
This paper provides a comprehensive survey of research progress in distributed system model checking.
Recommended citation: TANG Rui-Ze, HUANG Yu, OUYANG Ling-Zhi, CHENG Qian, ZHANG Yu-Qi, MA Xiao-Xing. "Research Progress on Distributed System Model Checking." (Journal of Software)
Download Paper
Published in ICLR 2026, 2026
A benchmark suite for evaluating AI capabilities on formally modeling complex real-world systems.
Recommended citation: Qian Cheng, Ruize Tang, Emilie Ma, Finn Hackett, Peiyang He, Yiming Su, Ivan Beschastnikh, Yu Huang, Xiaoxing Ma, Tianyin Xu. "SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems." ICLR 2026.
Download Paper
Published:
This is a description of your talk, which is a markdown file that can be all markdown-ified like any other post. Yay markdown!
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.